Theorem WeierstrassCurve.Projective.map_equation

Modification history