OAI/LinearAlgebra/MatrixMultiplication/Tensor/
479 declarations, 0 contain sorry, 0 declared as axioms; 33 files
Files
- BaseTensorBudgets.lean 29 declarations
- BaseTensors.lean 32 declarations
- CompleteWordPair.lean 5 declarations
- ComplexBatchCeiling.lean 17 declarations
- ComplexDotPairing.lean 3 declarations
- ComplexElementary.lean 16 declarations
- ComplexEqualSummandASI.lean 11 declarations
- ComplexExecutionPairingBudget.lean 31 declarations
- ComplexFactorialLogBounds.lean 13 declarations
- ComplexGeometricStageCoordinates.lean 28 declarations
- ComplexGroupTensor.lean 3 declarations
- ComplexInitialTargetKernel.lean 14 declarations
- ComplexLocalMaps.lean 18 declarations
- ComplexMatrixTensor.lean 10 declarations
- ComplexPairingMatrixTensor.lean 15 declarations
- ComplexSeparatedTensorDecomposition.lean 20 declarations
- ComplexSharedAuxiliaryBank.lean 4 declarations
- ComplexTensor.lean 33 declarations
- ComplexTensorBatching.lean 5 declarations
- ComplexTensorFlattening.lean 3 declarations
- ComplexTensorRestrictionComposition.lean 13 declarations
- ComplexTensorSymmetrization.lean 24 declarations
- ComplexWitness.lean 39 declarations
- ExactStatisticWords.lean 10 declarations
- FieldCoefficientExtraction.lean 3 declarations
- LeafVolumes.lean 22 declarations
- MatrixBalancing.lean 11 declarations
- Replication.lean 3 declarations
- Subdivision.lean 17 declarations
- TensorSidePermutation.lean 12 declarations
- TerminalProducts.lean 2 declarations
- TerminalRelabel.lean 6 declarations
- UniformCoordinate.lean 7 declarations