feat(linear_algebra/finsupp): add refl/trans/symm lemmas for dom_lcongr (#7048)
feat(linear_algebra/finsupp): add refl/trans/symm lemmas for dom_lcongr (#7048)

These are just copies of the lemmas for `dom_congr`







leanprover-community/mathlib,leanprover-community/mathlib