mathlib

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