Theorem WeierstrassCurve.Affine.equation_iff_nonsingular

Modification history