Proofgold Proposition

∀ x0 . nat_p x0 ⟶ nat_p (ordsucc (ordsucc x0))

type
prop

theory
HF

name
-

proof
PUaSf..

Megalodon
-

proofgold address
TMT4T..

creator
22364 PrBPC../540ef..

owner
22364 PrBPC../540ef..

term root
a28d7..