Proofgold Term Root Disambiguation

not (TransSet (91630.. (4ae4a.. 4a7ef..)))

as obj
-

as prop
76294..

theory
HoTg

stx
38a69..

address
TMHmB..