WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — C*-algebra

Revision #1697 → #2529 · back to history

modifiedBounded operators B(H)0fa0088b8ea1
FieldFrom #1697To #2529
mathlib.declContinuousLinearMap.instCStarAlgebrainstCStarAlgebraContinuousLinearMapComplexIdOfCompleteSpace
provenanceaiai-moderated