Theorem Fintype.prod_bijective

Modification history