Theorem WeierstrassCurve.Projective.dblU_smul

Modification history