[llvm] [mlir] mlir/MathExtras: consolidate with llvm/MathExtras (PR #95087)

[Arjun P via llvm-commits]

================
@@ -31,9 +32,10 @@ namespace presburger {
 /// from the mlir::presburger namespace. So to access the 64-bit overloads, an
 /// explict call to mlir::ceilDiv would be required. These using declarations
----------------
Superty wrote:

Need to update "mlir::ceilDiv" in this comment

https://github.com/llvm/llvm-project/pull/95087