Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . equip x0 x2 ⟶ equip x1 x3 ⟶ equip (setprod x0 x1) (setprod x2 x3)

as obj
-

as prop
a3135..^{equip_setprod_cong}

theory
HF

stx
b2d3f..

address
TMap5..^{equip_setprod_cong}