Proofgold Term Root Disambiguation

∀ x0 . nat_p x0 ⟶ ∃ x1 . and (nat_p x1) (equip (V_ x0) x1)

as obj
-

as prop
c8f7e..

theory
HF

stx
ac81c..

address
TMGbV..