chore: delete excessive paranthesization

opencompl · Jul 31, 2024 · d154c13 · d154c13
1 parent 41c094c
commit d154c13
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Init/Data/BitVec/Lemmas.lean b/src/Init/Data/BitVec/Lemmas.lean
@@ -1576,7 +1576,7 @@ private theorem Nat.sub_mul_eq_mod_of_lt_of_le (hlo : w * n ≤ i) (hhi : i < w
 @[simp]
 theorem getLsb_replicate {n w : Nat} (x : BitVec w) :
     (x.replicate n).getLsb i =
-    ((decide (i < w * n)) && (x.getLsb (i % w))) := by
+    (decide (i < w * n) && x.getLsb (i % w)) := by
   induction n generalizing x
   case zero => simp
   case succ n ih =>