Theorem WeierstrassCurve.VariableChange.inv_def

Modification history