Theorems · Definition · algebraic geometry
WeierstrassCurve.Jacobian.baseChange
{R : Type r} →
[inst : CommRing R] →
WeierstrassCurve.Jacobian R → (S : Type s) → [inst_1 : CommRing S] → [Algebra R S] → WeierstrassCurve.Jacobian SThe Weierstrass curve in Jacobian coordinates base changed to an algebra S over R.
- Cited by
- 21 results in Mathlib
- Foundations
- Depth 18 from the axioms · uses no axioms
Around this declaration
Dashed lines are statement dependencies; solid lines are citations in proofs.
Cites4
Mathlib declarations this one mentions in its statement or cites explicitly in its proof. Plumbing is filtered out.
- CommRingstatement and proof · cited by 17,173
- Algebrastatement and proof · cited by 11,388
- WeierstrassCurve.Jacobianstatement and proof · cited by 232
- WeierstrassCurve.baseChangeproof · cited by 28
Cited by21
Results whose statement or proof uses this declaration.
- WeierstrassCurve.Jacobian.map_baseChangestatement · cited by 20
- WeierstrassCurve.Jacobian.Equation.baseChangestatement and proof · cited by 0
- WeierstrassCurve.Jacobian.baseChange_addstatement and proof · cited by 0
- WeierstrassCurve.Jacobian.baseChange_addXstatement and proof · cited by 0
- WeierstrassCurve.Jacobian.baseChange_addXYZstatement and proof · cited by 0
- WeierstrassCurve.Jacobian.baseChange_addYstatement and proof · cited by 0
- WeierstrassCurve.Jacobian.baseChange_dblUstatement and proof · cited by 0
- WeierstrassCurve.Jacobian.baseChange_dblXstatement and proof · cited by 0
- WeierstrassCurve.Jacobian.baseChange_dblXYZstatement and proof · cited by 0
- WeierstrassCurve.Jacobian.baseChange_dblYstatement and proof · cited by 0
- WeierstrassCurve.Jacobian.baseChange_dblZstatement and proof · cited by 0
- WeierstrassCurve.Jacobian.baseChange_equationstatement and proof · cited by 0