Theorem Complex.IsConservativeOn.isExactOn_univ

Modification history

2026-03-02 19:44
Mathlib/Analysis/Complex/HasPrimitives.lean
feat: Liouville Theorem for harmonic functions (#35640) …
Added Complex.IsConservativeOn.isExactOn_univView on Github →