Proofgold Proposition

∀ x0 . ordsucc x0 = add_nat x0 1

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
ordsucc_add_nat_1

proofgold address
TMNAG..^{ordsucc_add_nat_1}

creator
2277 PrGxv../27990..

owner
2277 PrGxv../27990..

term root
0f2aa..