Theorem Fintype.prod_sumElim

Modification history