Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-15 00:25
db320814
View on Github →
chore: remove import from Tactic/Simps (
#12890
)
Estimated changes
Modified
Mathlib/Tactic/Simps/Basic.lean