Theorem WeierstrassCurve.Projective.baseChange_dblU

Modification history