Theorem Finsupp.restrictSupportEquiv_symm_single

Modification history

2025-07-03 14:11
Mathlib/Data/Finsupp/Basic.lean
feat: Finsupp.supportedEquivFinsupp_symm_single (#26314)
Added Finsupp.restrictSupportEquiv_symm_singleView on Github →