fix(data/list/basic): typo in pariwise_iff

spl · Jul 25, 2018 · 3eb66d5 · 3eb66d5
1 parent f9cf9d3
commit 3eb66d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/list/basic.lean b/data/list/basic.lean
@@ -2935,7 +2935,7 @@ inductive pairwise : list α → Prop
 | cons : ∀ {a : α} {l : list α}, (∀ a' ∈ l, R a a') → pairwise l → pairwise (a::l)
 attribute [simp] pairwise.nil
 
-run_cmd tactic.mk_iff_of_inductive_prop `list.pairwise `list.pariwise_iff
+run_cmd tactic.mk_iff_of_inductive_prop `list.pairwise `list.pairwise_iff
 
 variable {R}
 @[simp] theorem pairwise_cons {a : α} {l : list α} :