Theorem WeierstrassCurve.Affine.equation_iff_nonsingular_of_Δ_ne_zero

Modification history