Theorem Fintype.prod_bool

Modification history