Theorem InnerProductSpace.HarmonicOnNhd.contDiffOn

Modification history

2026-03-02 19:44
Mathlib/Analysis/InnerProductSpace/Harmonic/Basic.lean
feat: Liouville Theorem for harmonic functions (#35640) …
Added InnerProductSpace.HarmonicOnNhd.contDiffOnView on Github →