Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-11 14:57 b746e82c

View on Github →

feat(linear_algebra/finsupp): adjust apply lemma for finsupp.dom_lcongr (#7549) This is a split-off dependency from #7496.

Estimated changes

modified theorem finsupp.dom_lcongr_apply