mathlib

e1953471 - feat(finsupp/basic): lemmas about emb_domain (#7883)

feat(finsupp/basic): lemmas about emb_domain (#7883) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Vierkantor <vierkantor@vierkantor.com>