Theorem WeierstrassCurve.Projective.baseChange_negY

Modification history