Theorem WeierstrassCurve.Affine.baseChange_addY

Modification history