Proofgold Term Root Disambiguation

mul_nat 2 8 = 16

as obj
-

as prop
af7b1..

theory
HotG

stx
7d20c..

address
TMJCB..