Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Top.open_embedding_iff_comp_is_iso

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_comp_is_isoView on Github →