Theorem WeierstrassCurve.variableChange_a₂

Modification history