Theorem Finset.cons_ne_empty

Modification history