Theorem WeierstrassCurve.Projective.baseChange_negDblY

Modification history