Theorem cfc_unitary_iff

Modification history

2024-08-01 04:08

Mathlib/Analysis/CstarAlgebra/ContinuousFunctionalCalculus/Unitary.lean

refactor: remove some dependence on `circle` in C⋆-algebras (#15343)

Added cfc_unitary_iff View on Github →