Commit 2024-03-09 11:33 bf263ff8

View on Github ā†’

feat: instantiate the continuous functional calculus (#10779) This adds instances of the continuous functional calculus for unital Cā‹†-algebras for normal, selfadjoint, and positive elements.

Estimated changes