Proofgold Term Root Disambiguation

∀ x0 . setprod x0 0 = 0

as obj
-

as prop
a9232..

theory
HotG

stx
36e89..

address
TMGgQ..