spectrum): star algebra morphisms over ℂ are norm contractive (#16219)

Commit

3 years ago

feat(analysis/normed_space/star/spectrum): star algebra morphisms over ℂ are norm contractive (#16219) - [x] depends on: #16177 - [x] depends on: #16212

Author

j-loreaux

Parents

15c8fdda

mathlib 5ef64261 - feat(analysis/normed_space/star/spectrum): star algebra morphisms over ℂ are norm contractive (#16219)

mathlib
5ef64261 - feat(analysis/normed_space/star/spectrum): star algebra morphisms over ℂ are norm contractive (#16219)