Theorem Cardinal.toNat_cast

Modification history