Theorem WeierstrassCurve.Projective.map_negAddY

Modification history