mathlib

83f7236b - chore(linear_algebra/finsupp): golf `finsupp.lcongr_symm` (#17341)