Theorem Finset.one_nonempty

Modification history