Documentation

Mathlib.Analysis.SpecialFunctions.ContinuousFunctionalCalculus.ExpLog