Theorem Cardinal.natCast_lt_toENat_iff

Modification history