OAI/Analysis/Pureness/Cuntz/
253 declarations, 0 contain sorry, 0 declared as axioms; 38 files
Files
- ActualSpectralCuts.lean 8 declarations
- CStarCuntz.lean 3 declarations
- CuntzOrder.lean 7 declarations
- CuntzPolar.lean 6 declarations
- CuntzRankMonotone.lean 5 declarations
- CuntzRescaling.lean 4 declarations
- CuntzSubequivalence.lean 11 declarations
- FinOneMatrixTransport.lean 4 declarations
- FiniteCuntzAlmostUnperforation.lean 6 declarations
- FiniteCuntzFullness.lean 4 declarations
- FiniteCuntzOrthogonal.lean 2 declarations
- FiniteCuntzStates.lean 11 declarations
- FiniteCuntzSums.lean 5 declarations
- FiniteMatrixCornerNaturality.lean 2 declarations
- FiniteMatrixFlatten.lean 4 declarations
- FiniteMatrixFlattenNaturality.lean 2 declarations
- FiniteMatrixLimit.lean 19 declarations
- IntegerCutApproximation.lean 1 declarations
- IntegerCuts.lean 4 declarations
- MatrixDiagonal.lean 5 declarations
- MatrixNormCorner.lean 4 declarations
- MatrixRanks.lean 6 declarations
- MatrixSimplicity.lean 5 declarations
- MatrixStateAWPositive.lean 13 declarations
- MatrixTraceCorrespondence.lean 16 declarations
- MatrixTraces.lean 10 declarations
- OffsetMatrices.lean 14 declarations
- RationalConeStates.lean 5 declarations
- RationalRieszExtension.lean 3 declarations
- RationalizedCone.lean 5 declarations
- RationalizedGroup.lean 5 declarations
- SemigroupComparisonArithmetic.lean 5 declarations
- SemigroupGrothendieck.lean 7 declarations
- SemigroupStateBounds.lean 9 declarations
- SemigroupStateSeparation.lean 5 declarations
- SemigroupStates.lean 18 declarations
- SharedCuntzBridge.lean 7 declarations
- SmoothedIntegerCuts.lean 3 declarations