Theorem Nat.mul_cast_floor_div_cancel

Modification history