Theorem WeierstrassCurve.Projective.Y_sub_Y_add_Y_sub_negY

Modification history