Theorem Int.mul_natCast_floor_div_cancel

Modification history