Theorem WeierstrassCurve.ψ_even_ofNat

Modification history