Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ mul_SNo x0 0 = 0

as obj
-

as prop
a4f4a..^{mul_SNo_zeroR}

theory
HotG

stx
0d8c8..

address
TMbh4..^{mul_SNo_zeroR}