Update L08pow_pow.lean

leanprover-community · Jun 12, 2024 · 47e143c · 47e143c
1 parent fb90bad
commit 47e143c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Game/Levels/Power/L08pow_pow.lean b/Game/Levels/Power/L08pow_pow.lean
@@ -39,7 +39,7 @@ Conclusion
 The music dies down. Is that it?
 
 Course it isn't, you can
-clearly see that there are two worlds left.
+clearly see that there are two levels left.
 
 A passing mathematician says that mathematicians don't have a name
 for the structure you just constructed. You feel cheated.