Theorem Cardinal.toENat_eq_natCast_iff

Modification history