Theorem WeierstrassCurve.Projective.baseChange_negAddY

Modification history