Theorem Finsupp.restrictSupportEquiv_symm_apply_coe

Modification history

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