Theorem Rat.intCast_lt_cast

Modification history