Theorem WeierstrassCurve.Projective.comp_smul

Modification history