Theorem WeierstrassCurve.Projective.map_dblZ

Modification history