Theorem WeierstrassCurve.Affine.baseChange_negAddY

Modification history