Commit 2023-01-09 16:42 0b9c21e2
View on Github →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.
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.