Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ ∀ x1 . x1 ∈ omega ⟶ add_nat x0 x1 = add_SNo x0 x1

type
prop

theory
HotG

name
add_nat_add_SNo

proof
PUL9u..

Megalodon
add_nat_add_SNo

proofgold address
TMGmo..^{add_nat_add_SNo}

creator
4970 Pr6Pc../9fc5a..

owner
4970 Pr6Pc../9fc5a..

term root
1701f..