Theorem WeierstrassCurve.Projective.baseChange_addY

Modification history