Proofgold Term Root Disambiguation

∀ x0 . setprod x0 x0 = setexp x0 2

as obj
-

as prop
97b6d..^setexp_2_eq

theory
HotG

stx
d9726..

address
TMQo8..^setexp_2_eq