Proofgold Term Root Disambiguation

∀ x0 x1 . atleastp x0 x1 ⟶ atleastp x1 x0 ⟶ equip x0 x1

as obj
-

as prop
2c48a..^{atleastp_antisym_equip}

theory
HotG

stx
49532..

address
TMXBD..^{atleastp_antisym_equip}