Theorem WeierstrassCurve.Projective.map_addX

Modification history