Theorem Fintype.card_subtype_eq'

Modification history