Proofgold Term Root Disambiguation

236dc.. 4a7ef.. (4ae4a.. 4a7ef..)

as obj
f8050..

as prop
-

theory
HoTg

stx
9e11d..

address
TMSp6..