OAI/LinearAlgebra/MatrixFields/Tensors/
447 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- CWCompleteStatistics.lean 125 declarations
- CWStageCPlacements.lean 104 declarations
- CWStageCStatistics.lean 45 declarations
- CWStrandCompatibility.lean 5 declarations
- CWWordDimensionParameters.lean 13 declarations
- CWZeroGeometry.lean 31 declarations
- ComplexDotPairing.lean 60 declarations
- ComplexSeparatedTensorDecomposition.lean 20 declarations
- JointPopulationCWNonzero.lean 1 declarations
- TerminalRelabel.lean 43 declarations