Proofgold Term Root Disambiguation

λ x0 . ∃ x1 . and (x1 ∈ omega) (equip x0 x1)

as obj
4c54a..^finite

as prop
-

theory
HotG

stx
18c18..

address
TMTx9..^finite