mathlib documentation

analysis.normed_space.algebra

Normed algebras #

This file contains basic facts about normed algebras.

Main results #

TODO #

Tags #

normed algebra, character space, continuous functional calculus

@[protected, instance]