Theorem WeierstrassCurve.Jacobian.comp_equiv_comp

Modification history