Proofgold Proposition

∀ x0 . add_nat x0 u1 = ordsucc x0

type
prop

theory
HotG

name
-

proof
PUUie..

Megalodon
-

proofgold address
TMVUS..

creator
19956 Pr4zB../92ad8..

owner
19956 Pr4zB../92ad8..

term root
d631a..