Theorem WeierstrassCurve.Affine.evalEval_baseChange_polynomial

Modification history