Theorem Fintype.card_prod

Modification history