Proofgold Term Root Disambiguation

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

as obj
-

as prop
07519..

theory
HF

stx
d6132..

address
TMKpH..