Mathlib Changelog
v4
Changelog
About
Github
Theorem
Embedding.of_comp_iff
Modification history
2024-05-07 10:24
Mathlib/Topology/Maps.lean
feat: add `*.of_comp_iff` lemmas for `Inducing`, `Embedding`, etc. (#12639)
Added
Embedding.of_comp_iff
View on Github →