Theorem Fintype.card_orderDual

Modification history