Def WeierstrassCurve.Point.ofBaseChange

Modification history