Theorem herglotzRieszKernel_fun_def

Modification history

2026-03-18 18:34
Mathlib/Analysis/Complex/Poisson.lean
feat: Poisson Integral Formula for harmonic functions (#36278) …
Added herglotzRieszKernel_fun_defView on Github →