Theorem Finset.Nonempty.ne_empty

Modification history