Proofgold Term Root Disambiguation

ce322.. (4ae4a.. 4a7ef..) = 4ae4a.. 4a7ef..

as obj
-

as prop
45e10..

theory
HoTg

stx
720c4..

address
TMM4v..