Proofgold Term Root Disambiguation

0ac37.. 48ef8.. (94f9e.. 48ef8.. 8428d..)

as obj
a470d..

as prop
-

theory
HoTg

stx
1ad4e..

address
TMdoB..