Theorem Cardinal.toNat_ofNat

Modification history