Theorem ENat.card_eq_coe_fintype_card

Modification history