Theorem Complex.IsConservativeOn.eventually_nhds_wedgeIntegral_sub_wedgeIntegral

Modification history

2025-09-12 12:47
Mathlib/Analysis/Complex/HasPrimitives.lean
feat: a complex differentiable function on a disk has a primitive (#9598) …
Added Complex.IsConservativeOn.eventually_nhds_wedgeIntegral_sub_wedgeIntegralView on Github →