Proofgold Term Root Disambiguation

mul_nat 2 2 = 4

as obj
-

as prop
99ded..

theory
HF

stx
d6132..

address
TMJgW..