OAI/LinearAlgebra/MatrixFields/Arithmetic/
314 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- ArithmeticComplexity.lean 17 declarations
- ArithmeticExponent.lean 49 declarations
- ArithmeticPrograms.lean 18 declarations
- CommonDimensions.lean 7 declarations
- ComplexArithmeticExponent.lean 18 declarations
- ComplexArithmeticGrowth.lean 60 declarations
- ComplexArithmeticLowerBound.lean 70 declarations
- MatrixMapDecidable.lean 2 declarations
- RecursiveBlockPrograms.lean 73 declarations