Theorem WeierstrassCurve.Jacobian.baseChange_nonsingular

Modification history