Proofgold Proposition

∀ x0 x1 x2 . In x2 x1 ⟶ equip (setexp x0 x1) (setprod x0 (setexp x0 (setminus x1 (Sing x2))))

type
prop

theory
HF

name
-

proof
PUaSf..

Megalodon
-

proofgold address
TMMuY..

creator
22364 PrBPC../7893b..

owner
22364 PrBPC../7893b..

term root
c5984..