OAI/LinearAlgebra/MatrixMultiplication/AuxiliarySeparation/Tensor/
164 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- BinaryCharacter.lean 1 declarations
- CharacterBounds.lean 12 declarations
- Characters.lean 17 declarations
- DirectSum.lean 13 declarations
- DirectSumClass.lean 3 declarations
- Scalar.lean 13 declarations
- Semiring.lean 74 declarations
- SharedPadding.lean 11 declarations
- SixfoldProductBounds.lean 6 declarations
- SupportExtension.lean 2 declarations
- TagInequality.lean 12 declarations