Mathlib v3 is deprecated. Go to Mathlib v4

Theorem EllipticCurve.variable_change_b₆

Modification history