OAI/Analysis/TracialCohomology/
777 declarations, 0 contain sorry, 0 declared as axioms; 44 files
Files
- BidualApproximation.lean 7 declarations
- BilinearModulus.lean 71 declarations
- CenterExtensions.lean 11 declarations
- CenterQuantization.lean 5 declarations
- CenterTrace.lean 33 declarations
- CentralMatrices.lean 13 declarations
- Cohomology.lean 10 declarations
- CornerComparison.lean 36 declarations
- CornerTraces.lean 24 declarations
- Corners.lean 20 declarations
- DominatedFactorization.lean 21 declarations
- Expectations.lean 34 declarations
- FinitePaths.lean 11 declarations
- FreeSeparation.lean 7 declarations
- FreshBounds.lean 12 declarations
- GoodExtensions.lean 2 declarations
- HilbertFactorization.lean 23 declarations
- HilbertNormalParts.lean 17 declarations
- Homogeneous.lean 9 declarations
- InteriorHomotopy.lean 38 declarations
- LocalQuantization.lean 12 declarations
- MarkedWords.lean 40 declarations
- Matrices.lean 4 declarations
- MatrixExtensions.lean 27 declarations
- MatrixNorms.lean 13 declarations
- MatrixRepresentations.lean 11 declarations
- MixedWords.lean 23 declarations
- NormalPreservation.lean 5 declarations
- NormalReduction.lean 5 declarations
- PartialRepresentations.lean 13 declarations
- Partitions.lean 13 declarations
- PatchBounds.lean 16 declarations
- PatchConstruction.lean 7 declarations
- PatchTraces.lean 16 declarations
- ProjectionEstimates.lean 17 declarations
- RandomSigns.lean 18 declarations
- RepresentationLimits.lean 14 declarations
- ResidualFilling.lean 11 declarations
- SlotHomotopy.lean 68 declarations
- SmallExpectations.lean 8 declarations
- TracialPrimitives.lean 15 declarations
- TypeII.lean 8 declarations
- Vanishing.lean 5 declarations
- WordQuantization.lean 4 declarations