Proofgold Term Root Disambiguation

∀ x0 . mul_nat x0 0 = 0

as obj
-

as prop
1e5b2..^mul_nat_0R

theory
HotG

stx
d0fc7..

address
TMb9V..^mul_nat_0R