Theorem WeierstrassCurve.Projective.map_addY

Modification history