Theorem WeierstrassCurve.Affine.equation_iff_baseChange

Modification history