Theorem WeierstrassCurve.Projective.equation_iff

Modification history