Theorem Rat.natCast_lt_cast

Modification history