Theorem WeierstrassCurve.Projective.isUnit_addU_of_Y_ne

Modification history