no-shake

leanprover-community · Feb 12, 2025 · a692ad9 · a692ad9
1 parent 792591f
commit a692ad9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/noshake.json b/scripts/noshake.json
@@ -360,6 +360,8 @@
   "Mathlib.NumberTheory.Cyclotomic.Basic": ["Mathlib.Init.Core"],
   "Mathlib.NumberTheory.ArithmeticFunction": ["Mathlib.Tactic.ArithMult"],
   "Mathlib.MeasureTheory.MeasurableSpace.Defs": ["Mathlib.Tactic.FunProp.Attr"],
+  "Mathlib.MeasureTheory.Function.LpSeminorm.CompareExp":
+  ["Mathlib.Tactic.Finiteness"],
   "Mathlib.Logic.Nontrivial.Defs": ["Mathlib.Init.Logic"],
   "Mathlib.Logic.Function.Defs": ["Mathlib.Tactic.AdaptationNote"],
   "Mathlib.Logic.Function.Basic": ["Batteries.Tactic.Init"],