Theorem WeierstrassCurve.Δ_of_isShortNF_of_char_three

Modification history