Theorem Nat.cast_mul_floor_div_cancel

Modification history