Theorem Cardinal.mk_toPartENat_eq_coe_card

Modification history