Theorem NonUnitalStarAlgHom.isometry

Modification history

2024-09-11 00:28

Mathlib/Analysis/CStarAlgebra/Hom.lean

feat: star monomorphisms between C⋆-algebras are isometric (#16599)

Added NonUnitalStarAlgHom.isometry View on Github →