Theorem Finset.compl_eq_univ_sdiff

Modification history