Theorem WeierstrassCurve.Ψ_even_ofNat

Modification history