Theorem WeierstrassCurve.variableChange_a₆

Modification history