Theorem WeierstrassCurve.Projective.map_nonsingular

Modification history