Theorem WeierstrassCurve.nonsingular_zero_of_Δ_ne_zero

Modification history