Mathlib Changelog
v4
Changelog
About
Github
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 ā