Theorem WeierstrassCurve.VariableChange.one_def

Modification history