Theorem Cardinal.mk_toNat_eq_card

Modification history