mathlib
6f6ee003 - chore(data/finsupp): add simp lemmas about dom_congr (#6963)

Commit

4 years ago

chore(data/finsupp): add simp lemmas about dom_congr (#6963) Inspired by #6905

Author

eric-wieser

eric-wieser

Parents

Loading