Theorem Finset.cons_nonempty

Modification history