Theorem Finset.card_Ioc_finset

Modification history