Theorem WeierstrassCurve.Affine.cyclic_sum_Y_mul_X_sub_X

Modification history