Theorem WeierstrassCurve.baseChange_negY_of_baseChange

Modification history