no goals
Ω : Type u_1
inst✝⁵ : MeasurableSpace Ω
R : Type ?u.50829
inst✝⁴ : SMul R ℝ≥0
inst✝³ : SMul R ℝ≥0∞
inst✝² : IsScalarTower R ℝ≥0 ℝ≥0∞
inst✝¹ : IsScalarTower R ℝ≥0∞ ℝ≥0∞
inst✝ : TopologicalSpace Ω
μ : FiniteMeasure Ω
⊢ testAgainstNN μ 0 = 0
simpa only [MulZeroClass.zero_mul] using μ.testAgainstNN_const 0