chore(category_theory/preadditive/projective_resolution): typo (#12702)

leanprover-community · Mar 15, 2022 · a98202b · a98202b
1 parent eefa425
commit a98202b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/category_theory/preadditive/projective_resolution.lean b/src/category_theory/preadditive/projective_resolution.lean
@@ -165,7 +165,7 @@ begin
   exact lift_f_succ P Q n g g' w,
 end
 
-/-- The resolution maps interwine the lift of a morphism and that morphism. -/
+/-- The resolution maps intertwine the lift of a morphism and that morphism. -/
 @[simp, reassoc]
 lemma lift_commutes
   {Y Z : C} (f : Y ⟶ Z) (P : ProjectiveResolution Y) (Q : ProjectiveResolution Z) :