Mathlib Changelog
v4
Changelog
About
Github
Def
Grind.foo
Modification history
2025-09-25 02:45
MathlibTest/Simps.lean
feat(simps): allow adding arbitrary attributes (#29911) …
Added
Grind.foo
View on Github →