Theorem WeierstrassCurve.VariableChange.map_injective

Modification history