Theorem Fintype.prod_dite_eq

Modification history