Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-11-18 16:07
cfed43f7
View on Github →
feat: abel_nf fails if it makes no progress (
#8487
) As requested on
zulip
.
Estimated changes
Modified
Mathlib/Tactic/Abel.lean
Modified
test/abel.lean