Mathlib Changelog
v4
Changelog
About
Github
Def
Finsupp.onFinset_support
Modification history
2025-12-17 09:29
Mathlib/Data/Finsupp/Defs.lean
feat: avoid `private irreducible_def` using module system (#32861) …
Added
Finsupp.onFinset_support
View on Github →