Theorem Rat.natFloor_natCast_div_natCast

Modification history