Theorem WeierstrassCurve.Projective.addMap_eq

Modification history