Theorem WeierstrassCurve.equation_iff_variableChange

Modification history