Theorem WeierstrassCurve.Jacobian.comp_fin3

Modification history