Theorem Finset.Nonempty.subset_one_iff

Modification history