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

Initializing...

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