Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-12 17:59 17bf1ae2

View on Github →

feat(analysis/topology/continuity): embedding_inl, embedding_inr

Estimated changes

added theorem embedding_inl
added theorem embedding_inr