Theorem WeierstrassCurve.Projective.baseChange_dblXYZ

Modification history