Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-02-03 17:32
d9a9fc0f
View on Github →
docs(AlgebraicGeometry): fix local at the source vs. at the target (
#21373
)
Estimated changes
Modified
Mathlib/AlgebraicGeometry/Morphisms/Basic.lean