Theorem WeierstrassCurve.baseChange_addX_of_baseChange

Modification history