Theorem WeierstrassCurve.Projective.isUnit_dblU_of_Y_eq

Modification history