Theorem Fintype.card_of_finset'

Modification history