Theorem AnalyticAt.harmonicAt_re

Modification history

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