Theorem Finset.Pi.cons_ne

Modification history