Theorem Finset.subset_insert_iff_of_not_mem

Modification history