Proofgold Term Root Disambiguation

∀ x0 . mul_nat x0 0 = 0

as obj
-

as prop
fad70..^mul_nat_0R

theory
HF

stx
e311e..

address
TMRB2..^mul_nat_0R