Theorem WeierstrassCurve.Projective.map_dblX

Modification history