Proofgold Term Root Disambiguation

e5b72.. (91630.. 4a7ef..) = prim2 4a7ef.. (91630.. 4a7ef..)

as obj
-

as prop
e8b5a..

theory
HoTg

stx
7cde0..

address
TMTtf..