Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-10-21 08:47
5958e95e
View on Github →
chore: fix some nits from
#12339
(
#17994
)
Estimated changes
Modified
Mathlib/Tactic/Linter/Multigoal.lean
Modified
test/Multigoal.lean