Theorem Finset.pi.cons_same

Modification history