Theorem WeierstrassCurve.Projective.eval_polynomial

Modification history