Theorem Finset.compl_subset_compl

Modification history