Theorem Ordinal.nat_cast_le

Modification history