Theorem WeierstrassCurve.variableChange_a₃

Modification history