OAI/LinearAlgebra/MatrixMultiplication/AuxiliarySeparation/Polynomial/
32 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- Inequalities.lean 9 declarations
- Interpolation.lean 14 declarations
- Laws.lean 7 declarations
- ProductBounds.lean 2 declarations