Theorem WeierstrassCurve.Projective.smul_equiv

Modification history