Theorem AnalyticAt.harmonicAt_conj

Modification history

2025-08-02 11:30
Mathlib/Analysis/InnerProductSpace/Harmonic/Constructions.lean
chore: various indentation fixes (#27869) …
Modified AnalyticAt.harmonicAt_conjView on Github →
2025-07-27 09:27
Mathlib/Analysis/InnerProductSpace/Harmonic/Constructions.lean
feat: establish examples of harmonic functions (#26844) …
Added AnalyticAt.harmonicAt_conjView on Github →