Theorem HarmonicOnNhd.circleAverage_eq

Modification history

2025-09-16 14:41
Mathlib/Analysis/Complex/Harmonic/MeanValue.lean
feat: mean value theorem for harmonic functions (#29682) …
Added HarmonicOnNhd.circleAverage_eqView on Github →