Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-07-31 18:25
38a68eb2
View on Github →
doc: fix some typos in module docstrings (
#27761
) Fix some typos in module docstrings.
Estimated changes
Modified
Mathlib/AlgebraicGeometry/Morphisms/Basic.lean
Modified
Mathlib/NumberTheory/KummerDedekind.lean
Modified
Mathlib/RingTheory/DedekindDomain/Dvr.lean