Theorem Finset.compls_subset_compls

Modification history