Theorem WeierstrassCurve.Affine.addX_eq_addX_negY_sub

Modification history