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