OAI/LinearAlgebra/MatrixMultiplication/Polynomial/
200 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- ComplexConstantPolynomialKernel.lean 22 declarations
- ComplexExpressionFamily.lean 3 declarations
- ComplexPolynomialApproximation.lean 11 declarations
- ComplexPolynomialControlledKernel.lean 15 declarations
- ComplexPolynomialDegenerationComposition.lean 14 declarations
- ComplexPolynomialExecutionReindex.lean 15 declarations
- ComplexPolynomialExecutionSymmetry.lean 53 declarations
- ComplexPolynomialKernelExecution.lean 8 declarations
- ComplexPolynomialLocalConstruction.lean 13 declarations
- ComplexPolynomialPowerGrowth.lean 8 declarations
- ComplexPolynomialRestriction.lean 8 declarations
- ComplexPolynomialWitnessProduct.lean 13 declarations
- ComplexPrefixSeparationPolynomialStage.lean 13 declarations
- ComplexSeparationPolynomialKernel.lean 1 declarations
- ExpressionFamily.lean 3 declarations