OAI/LinearAlgebra/MatrixMultiplication/Separation/
238 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- AuxiliarySeparation.lean 4 declarations
- ComplexAuxiliarySeparation.lean 7 declarations
- ComplexBalancedSeparation.lean 40 declarations
- ComplexFiniteControl.lean 7 declarations
- ComplexFiniteMMRealization.lean 7 declarations
- ComplexFiniteSeparation.lean 9 declarations
- ComplexHierarchyTypeCounting.lean 14 declarations
- ComplexInitialTargetExecution.lean 7 declarations
- ComplexLabelHierarchySeparation.lean 41 declarations
- ComplexModularSeparation.lean 11 declarations
- ComplexPrefixSeparationOrientations.lean 16 declarations
- ComplexRationalTypes.lean 11 declarations
- ComplexSeparation.lean 5 declarations
- ComplexSeparationCounting.lean 9 declarations
- ComplexStageHierarchyResources.lean 32 declarations
- ComplexTypeCounting.lean 11 declarations
- ExecutionApproximation.lean 3 declarations
- FiniteCover.lean 4 declarations