Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Top.open_embedding_iff_is_iso_comp

Modification history

2021-12-14 12:57
src/topology/category/Top/basic.lean
feat(algebraic_geometry): LocallyRingedSpace has coproducts. (#10665)
Added Top.open_embedding_iff_is_iso_compView on Github →