Theorem WeierstrassCurve.Projective.dblXYZ_Y

Modification history