Theorem WeierstrassCurve.Affine.baseChange_addY'_of_baseChange

Modification history