Def Unitization.starMap

Modification history

2024-09-11 00:28

Mathlib/Algebra/Algebra/Unitization.lean

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

Added Unitization.starMap View on Github →