Theorem WeierstrassCurve.Projective.map_dblXYZ

Modification history