Theorem WeierstrassCurve.Projective.smul_eq

Modification history