Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-07-08 19:15
508d22f1
View on Github →
chore: removing unnecessary imports of Batteries.Logic (
#14522
)
Estimated changes
Modified
Mathlib/Init/Data/Quot.lean
Modified
Mathlib/Tactic/Use.lean