Theorem Differentiable.isExactOn_univ

Modification history

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