Theorem WeierstrassCurve.Affine.map_negY

Modification history