fix typo (#276)

avigad · Jan 16, 2025 · 6a626c5 · 6a626c5
1 parent aa6265f
commit 6a626c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/MIL/C10_Topology/S03_Topological_Spaces.lean b/MIL/C10_Topology/S03_Topological_Spaces.lean
@@ -200,7 +200,7 @@ example (f : X → Y) (T_X : TopologicalSpace X) (T_Y : TopologicalSpace Y) :
 -- QUOTE.
 
 /- TEXT:
-Those operations are compactible with composition of functions.
+Those operations are compatible with composition of functions.
 As usual, pushing forward is covariant and pulling back is contravariant, see ``coinduced_compose`` and ``induced_compose``.
 On paper we will use notations :math:`f_*T` for ``TopologicalSpace.coinduced f T`` and
 :math:`f^*T` for ``TopologicalSpace.induced f T``.