Proofgold Term Root Disambiguation

∀ x0 x1 . equip x1 0 ⟶ equip (setprod x0 x1) 0

as obj
-

as prop
9f38c..

theory
HF

stx
06930..

address
TMSjb..