OAI/Analysis/JiangSu/CuntzSemigroup/
235 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- CompletedOrthogonalRanks.lean 13 declarations
- CornerRanks.lean 4 declarations
- CuntzControlledSupport.lean 2 declarations
- CuntzCornerReflection.lean 1 declarations
- CuntzOrder.lean 14 declarations
- CuntzPeakSupport.lean 3 declarations
- CuntzRankMonotone.lean 5 declarations
- CuntzRescaling.lean 8 declarations
- FiniteCuntzAlmostUnperforation.lean 6 declarations
- FiniteCuntzFullness.lean 5 declarations
- FiniteCuntzOrthogonal.lean 5 declarations
- FiniteCuntzStates.lean 11 declarations
- FiniteCuntzSums.lean 5 declarations
- FiniteDimensionRegularization.lean 26 declarations
- FiniteStateRegularization.lean 4 declarations
- MatrixRanks.lean 6 declarations
- PositiveCutOrder.lean 2 declarations
- PositiveQuasitrace.lean 27 declarations
- QuasitraceFamily.lean 7 declarations
- QuasitraceNaturality.lean 5 declarations
- RationalConeStates.lean 15 declarations
- RationalTerms.lean 17 declarations
- SemigroupGrothendieck.lean 15 declarations
- SemigroupStates.lean 27 declarations
- SmallTraceCutRanks.lean 2 declarations