Theorem Rat.floor_natCast_div_natCast

Modification history