Fix inconsistent variations count in topology

Lean-zh · Dec 2, 2024 · eba72d1 · eba72d1
1 parent 77291b0
commit eba72d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/MIL/C10_Topology/S01_Filters.lean b/MIL/C10_Topology/S01_Filters.lean
@@ -174,7 +174,7 @@ EXAMPLES: -/
 -- QUOTE.
 
 /- TEXT:
-Together these two properties allow us to prove that limits compose, yielding in one shot all 256 variants
+Together these two properties allow us to prove that limits compose, yielding in one shot all 512 variants
 of the composition lemma described in the introduction, and lots more.
 You can practice proving the following statement using either the definition
 of ``Tendsto₁`` in terms of the