Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-12-01 11:03
9a6290f6
View on Github →
fix: adjust
abel
's
hint
prio to avoid suggesting
abel
on unrelated trivial goals (
#31865
)
Estimated changes
Modified
Mathlib/Tactic/Abel.lean
Modified
MathlibTest/hintAll.lean
added
def
f