Theorem Cardinal.toPartENat_eq_natCast_iff

Modification history