Theorem Finset.cons_empty

Modification history