Theorem Cardinal.natCast_eq_toPartENat_iff

Modification history