We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b752adf commit 4cc2077Copy full SHA for 4cc2077
1 file changed
Mathlib/MeasureTheory/Measure/Map.lean
@@ -24,7 +24,7 @@ If `f` is not a.e. measurable, then we define `map f μ` to be zero.
24
25
-/
26
27
-variable {α β γ δ : Type*}
+variable {α β γ : Type*}
28
29
open Set Function ENNReal NNReal
30
open Filter hiding map
0 commit comments