Theorem WeierstrassCurve.Jacobian.equation_zero'

Modification history