Theorem PartENat.card_eq_coe_natCard

Modification history