OAI/Analysis/Kaplansky/Regular/
191 declarations, 0 contain sorry, 0 declared as axioms; 19 files
Files
- CStarEstimates.lean 4 declarations
- FreeEstimates.lean 9 declarations
- FreeFamily.lean 16 declarations
- FreeNormal.lean 30 declarations
- FreeWord.lean 10 declarations
- HilbertTensorModel.lean 19 declarations
- NearGram.lean 2 declarations
- PowersAverageBound.lean 5 declarations
- PowersAverages.lean 12 declarations
- PowersAveraging.lean 5 declarations
- PowersOperators.lean 7 declarations
- PowersPartition.lean 4 declarations
- PowersSimple.lean 3 declarations
- ReducedPolynomials.lean 13 declarations
- ReducedStable.lean 1 declarations
- ReducedTensor.lean 4 declarations
- ReducedTrace.lean 18 declarations
- RegularOperators.lean 22 declarations
- SlotEstimates.lean 7 declarations