`BookProof.WeylCauchyRiemann.integral_deriv_eq_zero_of_hasCompactSupport` {u : ℝ → ℂ} (hu : ContDiff ℝ 1 u) (huc : HasCompactSupport u) : ∫ t : ℝ, deriv u t = 0

Initializing...

`BookProof.WeylCauchyRiemann.integral_deriv_eq_zero_of_hasCompactSupport` {u : ℝ → ℂ} (hu : ContDiff ℝ 1 u) (huc : HasCompactSupport u) : ∫ t : ℝ, deriv u t = 0 · Prove2Me