Theorem WeierstrassCurve.Projective.negMap_eq

Modification history