Theorem card_finset_fin_le

Modification history