Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUZkx..

Megalodon
equip_setprod_cong

proofgold address
TMNVf..^{equip_setprod_cong}

creator
2364 PrGxv../40625..

owner
2364 PrGxv../40625..

term root
4eb79..