Theorem WeierstrassCurve.Affine.Point.ofBaseChange_injective

Modification history