Proofgold Term Root Disambiguation

λ x0 . ∀ x1 : ο . (∀ x2 . and (x2 ∈ omega) (equip x0 x2) ⟶ x1) ⟶ x1

as obj
4c54a..^finite

as prop
-

theory
HotG

stx
18c18..

address
TMTx9..^finite