Theorem WeierstrassCurve.Projective.dblU_eq

Modification history