[Mlir-commits] [mlir] [MLIR][Presburger] removeTrivialRedundancy: skip unnecessary redundancy check (PR #138969)

[Arjun P]

https://github.com/Superty approved this pull request.

Thanks for the patch.  I updated the description and title to better explain the changes. Sorry about the delay. LGTM

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