Theorem Finset.singleton_subset_iff

Modification history