Theorem Fintype.card_Ioc

Modification history