Theorem WeierstrassCurve.Affine.nonsingular_iff_variableChange

Modification history