Theorem WeierstrassCurve.Projective.baseChange_equation

Modification history