Theorem Cardinal.toNat_natCast

Modification history