Theorem WeierstrassCurve.VariableChange.baseChange_injective

Modification history