Theorem Rat.cast_lt_intCast

Modification history