Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-03-26 14:16
d298fc06
View on Github →
chore: remove unnecessary Finset qualifications (
#11659
)
Estimated changes
Modified
Mathlib/RingTheory/MvPolynomial/Symmetric.lean
modified
theorem
MvPolynomial.esymm_eq_multiset_esymm