Theorem Fintype.prod_boole

Modification history