Theorem InnerProductSpace.IsClosed.harmonicContOnCl_iff

Modification history

2026-02-25 19:11
Mathlib/Analysis/InnerProductSpace/Harmonic/HarmonicContOnCl.lean
feat: introduce `HarmonicContOnCl` (#35564) …
Added InnerProductSpace.IsClosed.harmonicContOnCl_iffView on Github →