Theorem WeierstrassCurve.Projective.baseChange_dblZ

Modification history