Theorem Fintype.prod_sum_elim

Modification history