OAI/Analysis/JiangSu/Nuclearity/
36 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- CompletelyPositiveOperations.lean 5 declarations
- MatrixKrausLift.lean 7 declarations
- MatrixNuclearPacking.lean 1 declarations
- NuclearCommutingExtension.lean 6 declarations
- NuclearDefinition.lean 4 declarations
- NuclearFinitePacking.lean 1 declarations
- NuclearNormApproximation.lean 2 declarations
- NuclearUnitization.lean 7 declarations
- NuclearWeightedBlocks.lean 3 declarations