Theorem WeierstrassCurve.Projective.nonsingular_smul_iff

Modification history