Theorem Cardinal.natCast_lt_toPartENat_iff

Modification history