Documentation

Mathlib.Analysis.SpecialFunctions.ContinuousFunctionalCalculus.Rpow.Isometric

Properties of rpow and sqrt over an algebra with an isometric CFC #

This file collects results about CFC.rpow, CFC.nnrpow and CFC.sqrt that use facts that rely on an isometric continuous functional calculus.

Main theorems #

Tags #

continuous functional calculus, rpow, sqrt