Theorem WeierstrassCurve.nonsingular_iff_variableChange

Modification history