Commit 2024-08-08 16:24 182be4fb
View on Github āfeat: star algebra homomorphisms between non-unital Cā-algebras are contractive (#14544)
This generalizes the existing results for unital algebras to non-unital algebras by passing to the unitization within the proof.
We have to add a StarModule hypothesis to recover the unital case, but this is minor.