Proofgold Term Root Disambiguation

∀ x0 : ο . prim1 (896e2.. x0) (4ae4a.. (4ae4a.. 4a7ef..))

as obj
-

as prop
9ca29..

theory
HoTg

stx
aca54..

address
TMMfg..