Structure CompletelyPositiveMap

Modification history

2025-05-03 14:10

Mathlib/Analysis/CStarAlgebra/CompletelyPositiveMap.lean

feat(CStarAlgebra): define completely positive maps (#24359) …

Added CompletelyPositiveMap View on Github →