Theorem Rat.floor_intCast_div_natCast

Modification history