OAI/Analysis/JiangSu/Comparison/
329 declarations, 0 contain sorry, 0 declared as axioms; 36 files
Files
- CoefficientSplit.lean 4 declarations
- CompactComparison.lean 2 declarations
- CompletedRankComparison.lean 10 declarations
- ComplexScalar.lean 5 declarations
- ContinuousSupportComparison.lean 2 declarations
- Corner.lean 20 declarations
- CornerComparison.lean 5 declarations
- CornerDivision.lean 19 declarations
- CuntzBasic.lean 12 declarations
- DyadicApproximation.lean 1 declarations
- ExactLocalSupply.lean 15 declarations
- ExactRelativeCut.lean 4 declarations
- FamilyDyadicApproximation.lean 3 declarations
- FamilyExactLocalSupply.lean 15 declarations
- FamilyFiniteCoefficients.lean 5 declarations
- FamilyLocalTools.lean 3 declarations
- FamilyProjectionComparison.lean 5 declarations
- FamilyRanks.lean 4 declarations
- FiniteCoefficients.lean 8 declarations
- FiniteCutComparison.lean 3 declarations
- FiniteLscComparison.lean 2 declarations
- FiniteMatrixModels.lean 1 declarations
- FiniteScalar.lean 8 declarations
- FiniteStateComparison.lean 4 declarations
- HatPartition.lean 14 declarations
- LocalTools.lean 6 declarations
- LocalizedCompression.lean 31 declarations
- PackingRounds.lean 57 declarations
- PrecisePackingRound.lean 6 declarations
- ProjectionDefect.lean 9 declarations
- PropertySI.lean 1 declarations
- Ranks.lean 35 declarations
- ScalarStrictComparison.lean 1 declarations
- SemigroupComparisonArithmetic.lean 5 declarations
- TracialProjectionComparison.lean 2 declarations
- TracialProjectionStrictComparison.lean 2 declarations