Theorem WeierstrassCurve.Projective.map_dblY

Modification history