Theorem WeierstrassCurve.Projective.baseChange_addXYZ

Modification history