Proofgold Term Root Disambiguation

explicit_Nats 48ef8.. 4a7ef.. 4ae4a..

as obj
-

as prop
dd179..

theory
HoTg

stx
04fcb..