Theorem WeierstrassCurve.Δ_of_isShortNF

Modification history