Commit 2025-03-05 21:20 da81ed6d

View on Github →

doc(AlgebraicGeometry/EllipticCurve): replace TeX with markup (#22606)

Estimated changes

Modified Mathlib/AlgebraicGeometry/EllipticCurve/ModelsWithJ.lean

Modified Mathlib/AlgebraicGeometry/EllipticCurve/NormalForms.lean

Modified Mathlib/AlgebraicGeometry/EllipticCurve/VariableChange.lean

Modified Mathlib/AlgebraicGeometry/EllipticCurve/Weierstrass.lean

modified theorem WeierstrassCurve.coe_inv_map_Δ'

modified theorem WeierstrassCurve.coe_map_Δ'

modified theorem WeierstrassCurve.coe_Δ'

modified theorem WeierstrassCurve.inv_map_Δ'

modified theorem WeierstrassCurve.map_b₂

modified theorem WeierstrassCurve.map_b₄

modified theorem WeierstrassCurve.map_b₆

modified theorem WeierstrassCurve.map_b₈

modified theorem WeierstrassCurve.map_c₄

modified theorem WeierstrassCurve.map_c₆

modified theorem WeierstrassCurve.map_injective

modified theorem WeierstrassCurve.map_j

modified theorem WeierstrassCurve.map_map

modified theorem WeierstrassCurve.map_Δ'

modified theorem WeierstrassCurve.map_Δ