Commit 2024-06-01 21:26 13cef769
View on Github →feat: instances of the non-unital continuous functional calculus for C⋆-algebras (#13365) This adds instances of the non-unital continuous functional calculus (for normal, selfadjoint and nonnegative elements) for non-unital C⋆-algebras.