Theorem WeierstrassCurve.Affine.baseChange_slope_of_baseChange

Modification history