mathlib3 documentation

analysis.normed_space.algebra

Normed algebras #

THIS FILE IS SYNCHRONIZED WITH MATHLIB4. Any changes to this file require a corresponding PR to mathlib4.

This file contains basic facts about normed algebras.

Main results #

TODO #

Tags #

normed algebra, character space, continuous functional calculus