Proofgold Term Root Disambiguation

prim3 0 = 0

as obj
-

as prop
72b1c..^Union_Empty

theory
HotG

stx
18c18..

address
TMLm3..^Union_Empty