Theorem WeierstrassCurve.VariableChange.map_baseChange

Modification history