Theorem Fintype.prod_ite_eq'

Modification history