Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-10-25 09:51
f04a8ee5
View on Github →
fix: catch instance failures in linarith (
#7916
) As
reported on Zulip
.
Estimated changes
Modified
Mathlib/Tactic/Linarith/Preprocessing.lean
modified
def
Linarith.flipNegatedComparison
Modified
test/linarith.lean