Theorem Rat.cast_lt_natCast

Modification history