Proofgold Term Root Disambiguation

∀ x0 . OSNo x0 ⟶ mul_OSNo x0 0 = 0

as obj
-

as prop
ee156..^mul_OSNo_0R

theory
HotG

stx
5c6b2..

address
TMb56..^mul_OSNo_0R