Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-11-20 22:27
931c0de5
View on Github →
chore: reducibility in gcongr apply step (
#19262
)
Zulip
Estimated changes
Modified
Mathlib/Tactic/GCongr/Core.lean