doc(set_theory/lists): fix typo (#14427)

leanprover-community · May 28, 2022 · 15fe782 · 15fe782
1 parent d0efbcb
commit 15fe782
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/set_theory/lists.lean b/src/set_theory/lists.lean
@@ -12,8 +12,8 @@ In this file we define finite hereditary lists. This is useful for calculations
 
 We distinguish two kinds of ZFA lists:
 * Atoms. Directly correspond to an element of the original type.
-* Proper ZFA lists. Can thought of (but aren't implemented) as a list of ZFA lists (not necessarily
-  proper).
+* Proper ZFA lists. Can be thought of (but aren't implemented) as a list of ZFA lists (not
+  necessarily proper).
 
 For example, `lists ℕ` contains stuff like `23`, `[]`, `[37]`, `[1, [[2], 3], 4]`.