Index: harmonic functions

This directory contains formalized results on harmonic functions in the complex plane, including Poisson integral formulas on the unit disc and arbitrary centered discs, plus results about positive harmonic functions on the unit disc.