Proofgold Term Root Disambiguation

mul_nat 2 2 = 4

as obj
-

as prop
c3da7..

theory
HotG

stx
7d20c..

address
TMdKu..