Theorem Finsupp.supportedEquivFinsupp_symm_single

Modification history

2025-07-03 14:11
Mathlib/LinearAlgebra/Finsupp/Supported.lean
feat: Finsupp.supportedEquivFinsupp_symm_single (#26314)
Added Finsupp.supportedEquivFinsupp_symm_singleView on Github →