Theorem Finset.singleton_nonempty

Modification history