Theorem Finset.compl_ssubset_compl

Modification history