Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-30 06:24 8b238eb4

View on Github →

refactor(data/mv_polynomial/equiv): simplify option_equiv_left (#9427)

Estimated changes