Commit 2024-09-11 00:28 a8f1816e

View on Github →

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

Estimated changes