`OAI/LinearAlgebra/MatrixMultiplication/ComplexArithmetic/`

148 declarations, 0 contain sorry, 0 declared as axioms; 9 files

Files

Complexity.lean 23 declarations
Exponent.lean 6 declarations
Growth.lean 13 declarations
LowerBound.lean 4 declarations
MatrixPadding.lean 10 declarations
NaiveAlgorithm.lean 12 declarations
ProgramComposition.lean 15 declarations
Programs.lean 18 declarations
RecursiveBlockPrograms.lean 47 declarations