`BookProof.WeylCauchyRiemann.integral_complex_eq_prod` (G : ℂ → ℂ) : ∫ z : ℂ, G z = ∫ p : ℝ × ℝ, G (p.1 + p.2 * Complex.I)

Initializing...

`BookProof.WeylCauchyRiemann.integral_complex_eq_prod` (G : ℂ → ℂ) : ∫ z : ℂ, G z = ∫ p : ℝ × ℝ, G (p.1 + p.2 * Complex.I) · Prove2Me