Theorem WeierstrassCurve.Projective.dblX_eq

Modification history