ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Proof P763 on
R1036: Power set is closed under complements
P763
Corollary to
R47: Set difference is subset of the minuend
.
□
◻