Update bind.lean

leanprover-community · Jun 29, 2022 · 0013a78 · 0013a78
1 parent c99a2c5
commit 0013a78
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/data/multiset/bind.lean b/src/data/multiset/bind.lean
@@ -139,7 +139,6 @@ begin
   rw count_bind, apply le_sum_of_mem,
   rw mem_map, exact ⟨x, hx, rfl⟩
 end
-
 end bind
 
 /-! ### Product of two multisets -/