`BookProof.WeylCauchyRiemann.contDiff_slice_im` (x : ℝ) : ContDiff ℝ ∞ (fun t : ℝ => (x : ℂ) + t * Complex.I)

Initializing...

`BookProof.WeylCauchyRiemann.contDiff_slice_im` (x : ℝ) : ContDiff ℝ ∞ (fun t : ℝ => (x : ℂ) + t * Complex.I) · Prove2Me