Proofgold Term Root Disambiguation

∀ x0 . equip (setexp x0 0) 1

as obj
-

as prop
1032b..

theory
HotG

stx
de20d..

address
TMcik..