Theorem WeierstrassCurve.Projective.Point.toAffine_smul

Modification history