weierstrass): define ideals of the coordinate ring associated to the X and Y coordinates (#18038)

Commit

2 years ago

feat(algebraic_geometry/elliptic_curve/weierstrass): define ideals of the coordinate ring associated to the X and Y coordinates (#18038) Also slightly recategorise the sections.

Author

Multramate

Parents

e1bccd6e

mathlib 0b9c21e2 - feat(algebraic_geometry/elliptic_curve/weierstrass): define ideals of the coordinate ring associated to the X and Y coordinates (#18038)

mathlib
0b9c21e2 - feat(algebraic_geometry/elliptic_curve/weierstrass): define ideals of the coordinate ring associated to the X and Y coordinates (#18038)