Def Finsupp.restrictSupportEquiv
Modification history
2025-07-03 14:11
Mathlib/Data/Finsupp/Basic.lean
feat: Finsupp.supportedEquivFinsupp_symm_single (#26314)
Modified Finsupp.restrictSupportEquivView on Github →2025-01-06 07:44
Mathlib/Data/Finsupp/Basic.lean
chore(LinearIndependent): generalize to semirings (#20480) …
Modified Finsupp.restrictSupportEquivView on Github →