OAI/LinearAlgebra/MatrixMultiplication/AuxiliarySeparation/Growth/
79 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- ConcaveSlopes.lean 7 declarations
- Floor.lean 4 declarations
- MultiplicativePower.lean 9 declarations
- NormalizedProfile.lean 7 declarations
- PermutationProduct.lean 15 declarations
- PolynomialOverhead.lean 6 declarations
- Product.lean 6 declarations
- Profile.lean 6 declarations
- ProfileSlopes.lean 9 declarations
- Recurrence.lean 7 declarations
- SpectralLimit.lean 3 declarations