Theorem Set.inter_eq_compl_compl_union_compl

Modification history