Theorem InnerProductSpace.harmonic_is_realOfHolomorphic_univ

Modification history

2026-03-03 09:28
Mathlib/Analysis/Complex/Harmonic/Analytic.lean
chore: rename theorems to comply with mathlib standards (#36026) …
Deleted InnerProductSpace.harmonic_is_realOfHolomorphic_univView on Github →
2026-03-02 19:44
Mathlib/Analysis/Complex/Harmonic/Analytic.lean
feat: Liouville Theorem for harmonic functions (#35640) …
Added InnerProductSpace.harmonic_is_realOfHolomorphic_univView on Github →