Theorem WeierstrassCurve.VariableChange.baseChange_id

Modification history