Proofgold Term Root Disambiguation

∀ x0 . nat_p x0 ⟶ nat_p (ordsucc x0)

as obj
-

as prop
57e94..^nat_ordsucc

theory
HotG

stx
18c18..

address
TMaWA..^nat_ordsucc