Theorem InnerProductSpace.HarmonicOnNhd.exists_analyticOnNhd_ball_re_eq

Modification history

2026-03-03 09:28
Mathlib/Analysis/Complex/Harmonic/Analytic.lean
chore: rename theorems to comply with mathlib standards (#36026) …
Added InnerProductSpace.HarmonicOnNhd.exists_analyticOnNhd_ball_re_eqView on Github →