doc(topology/homeomorph): fixup glaring error (#8092)

thanks to @kbuzzard for spotting this error in #8086
leanprover-community · Jun 26, 2021 · c7a35b4 · c7a35b4
1 parent 0817020
commit c7a35b4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/topology/homeomorph.lean b/src/topology/homeomorph.lean
@@ -8,8 +8,8 @@ import topology.dense_embedding
 /-!
 # Homeomorphisms
 
-This file defines homeomorphisms (continuous bijections) between two topological spaces.
-We denote homeomorphisms with the notation `≃ₜ`.
+This file defines homeomorphisms between two topological spaces. They are bijections with both
+directions continuous. We denote homeomorphisms with the notation `≃ₜ`.
 
 # Main definitions