Theorem Finset.insert_subset_iff

Modification history