Theorem WeierstrassCurve.Projective.baseChange_add

Modification history