IsomOfJ

📁 Source: Mathlib/AlgebraicGeometry/EllipticCurve/IsomOfJ.lean

Statistics

Metric	Count
Definitions	0
Theorems exists_variableChange_of_j_eq	1
Total	1

WeierstrassCurve

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
exists_variableChange_of_j_eq 📖	mathematical	j EuclideanDomain.toCommRing Field.toEuclideanDomain	VariableChange WeierstrassCurve instSMulVariableChange	—	CharP.exists

---

← Back to Index