Theorem WeierstrassCurve.Projective.Y_sub_Y_mul_Y_sub_negY

Modification history