`BookProof.WeylCauchyRiemann.WeakCauchyRiemannOn.congr_ae` {f g : ℂ → ℂ} {U : Set ℂ} (hg : WeakCauchyRiemannOn g U) (hae : ∀ᵐ z : ℂ, z ∈ U → f z = g z) : WeakCauchyRiemannOn f U

Initializing...

`BookProof.WeylCauchyRiemann.WeakCauchyRiemannOn.congr_ae` {f g : ℂ → ℂ} {U : Set ℂ} (hg : WeakCauchyRiemannOn g U) (hae : ∀ᵐ z : ℂ, z ∈ U → f z = g z) : WeakCauchyRiemannOn f U · Prove2Me