Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-09-21 21:36
432a037a
View on Github →
docs(Analysis/Calculus/Gradient/Basic): decapitalize (
#29847
)
Estimated changes
Modified
Mathlib/Analysis/Calculus/Gradient/Basic.lean