OAI/Analysis/Pureness/Stabilization/
473 declarations, 0 contain sorry, 0 declared as axioms; 55 files
Files
- AbsoluteComparison.lean 8 declarations
- BoundedFamilies.lean 9 declarations
- CompactDensity.lean 12 declarations
- CompactMatrixUnits.lean 11 declarations
- CompactOperators.lean 12 declarations
- Cuntz.lean 8 declarations
- CuntzClass.lean 9 declarations
- CuntzDenseMaps.lean 3 declarations
- CuntzFunctor.lean 9 declarations
- CuntzIdentities.lean 8 declarations
- Cuts.lean 9 declarations
- DenseStarExtension.lean 2 declarations
- FamilyNorm.lean 11 declarations
- FamilyQuotient.lean 23 declarations
- FixedCut.lean 11 declarations
- FunctionalIntertwining.lean 1 declarations
- Idempotents.lean 8 declarations
- MatrixAdditionAssoc.lean 8 declarations
- MatrixAdditionComm.lean 7 declarations
- MatrixBlock.lean 13 declarations
- MatrixBlockNorm.lean 4 declarations
- MatrixCompression.lean 13 declarations
- MatrixCorners.lean 8 declarations
- MatrixCuntzAddition.lean 7 declarations
- MatrixEmbedding.lean 8 declarations
- MatrixEntries.lean 3 declarations
- MatrixFamilies.lean 7 declarations
- MatrixFiniteRange.lean 6 declarations
- MatrixInterleave.lean 8 declarations
- MatrixInterleaveSystem.lean 5 declarations
- MatrixLimit.lean 10 declarations
- MatrixLimitLift.lean 14 declarations
- MatrixMasks.lean 18 declarations
- MatrixParityClasses.lean 10 declarations
- MatrixPermutation.lean 5 declarations
- MatrixPositive.lean 4 declarations
- MatrixRestriction.lean 5 declarations
- MatrixStageTrace.lean 3 declarations
- MatrixSums.lean 10 declarations
- MatrixSupportedPermutation.lean 2 declarations
- MatrixSystem.lean 8 declarations
- MatrixTrace.lean 16 declarations
- MatrixTripleLayout.lean 11 declarations
- OrderComparison.lean 3 declarations
- Perturbation.lean 2 declarations
- PositiveCore.lean 5 declarations
- ProductCuts.lean 8 declarations
- Pullback.lean 7 declarations
- Rank.lean 28 declarations
- RankBounds.lean 7 declarations
- RankCyclic.lean 12 declarations
- RankFunctorial.lean 5 declarations
- Truncation.lean 5 declarations
- Weights.lean 19 declarations
- ZeroIdeal.lean 5 declarations