Theorem Finsupp.supportedEquivFinsupp_symm_apply_coe

Modification history

2025-01-06 07:44
Mathlib/LinearAlgebra/Finsupp/Supported.lean
chore(LinearIndependent): generalize to semirings (#20480) …
Added Finsupp.supportedEquivFinsupp_symm_apply_coeView on Github →