Proofgold Term Root Disambiguation

∀ x0 x1 . Subq x0 x1 ⟶ ∀ x2 . Subq (setprod x0 x2) (setprod x1 x2)

as obj
-

as prop
b327e..^setprod_mon0

theory
HF

stx
cbc45..

address
TMTFm..^setprod_mon0