Theorem Cardinal.toNat_eq_ofNat

Modification history