Commit 2023-10-22 11:10 3d8d336f
View on Github →Support coersions from Nat to ordered semirings in linarith (#7439)
feat: Assume natural numbers are nonnegative when cast to any ordered semiring inside linarith
Previously this would only work when casting to an integer.