Theorem WeierstrassCurve.Jacobian.dblU_eq

Modification history