Theorem Finset.singleton_ne_empty

Modification history