Theorem WeierstrassCurve.Projective.smul_equiv_smul

Modification history