Theorem MvPolynomial.funext_set_iff

Modification history

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