Theorem Fintype.prod_ite_eq

Modification history