Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-16 07:34 e6ff367d

View on Github →

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

Estimated changes