Theorem WeierstrassCurve.exists_variableChange_of_j_eq

Modification history