Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ add_SNo x0 1 = ordsucc x0

type
prop

theory
HotG

name
add_SNo_1_ordsucc

proof
PUgvb..

Megalodon
add_SNo_1_ordsucc

proofgold address
TMWDk..^{add_SNo_1_ordsucc}

creator
12283 PrGxv../2948a..

owner
12283 PrGxv../2948a..

term root
ec6ca..