Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-02-18 10:05
6c8d01e4
View on Github →
chore: cleanup of some erws in algebraic geometry (
#22028
)
Estimated changes
Modified
Mathlib/AlgebraicGeometry/AffineScheme.lean
Modified
Mathlib/AlgebraicGeometry/EllipticCurve/Affine.lean
Modified
Mathlib/AlgebraicGeometry/EllipticCurve/Group.lean
Modified
Mathlib/AlgebraicGeometry/EllipticCurve/Jacobian.lean
Modified
Mathlib/AlgebraicGeometry/EllipticCurve/Projective.lean
Modified
Mathlib/AlgebraicGeometry/Properties.lean
Modified
Mathlib/AlgebraicGeometry/ValuativeCriterion.lean
Modified
Mathlib/Data/Set/Basic.lean
added
theorem
Set.not_top_subset