Theorem AnalyticAt.harmonicAt_im

Modification history

2025-07-27 09:27
Mathlib/Analysis/InnerProductSpace/Harmonic/Constructions.lean
feat: establish examples of harmonic functions (#26844) …
Added AnalyticAt.harmonicAt_imView on Github →