Theorem WeierstrassCurve.Projective.equation_of_equiv

Modification history