Theorem WeierstrassCurve.Projective.baseChange_nonsingular

Modification history