Theorem ContDiffAt.harmonicAt

Modification history

2025-07-27 09:27

Mathlib/Analysis/InnerProductSpace/Harmonic/Constructions.lean

feat: establish examples of harmonic functions (#26844) …

Added ContDiffAt.harmonicAt View on Github →