WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Harmonic function

Revision #1284 → #2584 · back to history

modifiedMean value propertye81072cff80b
FieldFrom #1284To #2584
mathlib.declInnerProductSpace.HarmonicOnNhd.circleAverage_eqHarmonicOnNhd.circleAverage_eq
provenanceaiai-moderated