Theorem WeierstrassCurve.Projective.dblXYZ_X

Modification history