mathlib

e6ff367d - feat(logic/embedding): simp lemma for injectivity for embeddings (#7881)

feat(logic/embedding): simp lemma for injectivity for embeddings (#7881) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Vierkantor <vierkantor@vierkantor.com>