Theorem WeierstrassCurve.Projective.dblX_eq'

Modification history