Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ ∀ x1 . x1 ∈ omega ⟶ add_nat x0 x1 = 0 ⟶ and (x0 = 0) (x1 = 0)

type
prop

theory
HotG

name
add_nat_0_inv

proof
PUWsr..

Megalodon
add_nat_0_inv

proofgold address
TMHJV..^{add_nat_0_inv}

creator
23950 Pr5Zc../d48b5..

owner
23950 Pr5Zc../d48b5..

term root
2a8f7..