OAI/LinearAlgebra/MatrixMultiplication/ComplexBounds/
195 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- CW75ReorderedBalanced.lean 7 declarations
- CW75ReorderedBalancedRates.lean 9 declarations
- CW75ReorderedExecution.lean 25 declarations
- CW75ReorderedFinite.lean 28 declarations
- CW75ReorderedFiniteRates.lean 4 declarations
- CW75ReorderedGeometricValues.lean 8 declarations
- CW75ReorderedRectangular.lean 1 declarations
- CW75ReorderedWords.lean 34 declarations
- SquareBound.lean 23 declarations
- SquareCounts.lean 49 declarations
- SquareWitness.lean 7 declarations