Theorems · Definition · algebraic geometry

WeierstrassCurve.VariableChange.map

{R : Type u} →
  [inst : CommRing R] →
    WeierstrassCurve.VariableChange R →
      {A : Type v} → [inst_1 : CommRing A] → (R →+* A) → WeierstrassCurve.VariableChange A

The change of variables mapped over a ring homomorphism φ : R →+* A.

Defined in

Mathlib.AlgebraicGeometry.EllipticCurve.VariableChange

Cited by

9 results in Mathlib

Foundations

Depth 25 from the axioms · uses propext

Assumes

CommRingCommRing