Theorem WeierstrassCurve.map_baseChange

Modification history