symm lemmas for dom_lcongr (#7048)

Commit

4 years ago

feat(linear_algebra/finsupp): add refl/trans/symm lemmas for dom_lcongr (#7048) These are just copies of the lemmas for `dom_congr`

Author

eric-wieser

Parents