Theorem Finset.compl_eq_empty_iff

Modification history