Theorem MvPolynomial.funext_set

Modification history

2025-07-22 17:16
Mathlib/Algebra/MvPolynomial/Funext.lean
feat(MvPolynomial/Funext): generalize (#27328) …
Added MvPolynomial.funext_setView on Github →