Theorem CStarRing.spectralOrderedRing

Modification history

2024-09-12 16:24

Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Instances.lean

chore: namespace lemmas to `CStarAlgebra` instead of `CStarRing` (#16653) …

Deleted CStarRing.spectralOrderedRing View on Github →

2024-08-06 04:16

Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/Instances.lean

chore(*): rename `Cstar*` to `CStar*` (#15495) …

Added CStarRing.spectralOrderedRing View on Github →