OAI/Analysis/KadisonSimilarity/Tensor/
382 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- DenseEndpointIdentification.lean 1 declarations
- EndpointBounds.lean 6 declarations
- EndpointClassification.lean 9 declarations
- EndpointDensity.lean 8 declarations
- EndpointPairings.lean 27 declarations
- EndpointTensors.lean 26 declarations
- InvariantCoefficients.lean 3 declarations
- InvariantCycles.lean 27 declarations
- InvariantForms.lean 14 declarations
- InvariantIntertwiners.lean 18 declarations
- InvariantTensors.lean 29 declarations
- Main.lean 6 imports, no declarations
- MultiplicityClassification.lean 28 declarations
- OrthogonalConstantPairing.lean 2 declarations
- PairingLabels.lean 24 declarations
- StableMatrixStages.lean 3 declarations
- SubalgebraCentralPairing.lean 2 declarations
- TensorClassification.lean 11 declarations
- TensorCoefficientMatrix.lean 8 declarations
- TensorCommutantExtension.lean 5 declarations
- TensorDensity.lean 12 declarations
- TensorDiagonalWeights.lean 9 declarations
- TensorHeadSlices.lean 15 declarations
- TensorMatrixAlgebra.lean 14 declarations
- TensorPacketDensity.lean 9 declarations
- TensorPairings.lean 18 declarations
- TensorPermutations.lean 15 declarations
- TensorSlices.lean 16 declarations
- TensorStableSpanning.lean 7 declarations
- TensorWords.lean 16 declarations