OAI/Analysis/CharacterCriterion/
2529 declarations, 0 contain sorry, 0 declared as axioms; 62 files
Files
- Absorption.lean 20 declarations
- AmplifiedComparison.lean 60 declarations
- BalancedChannels.lean 23 declarations
- BalancedLimit.lean 61 declarations
- BalancedSystem.lean 62 declarations
- CentralSequences.lean 7 declarations
- ConeCube.lean 42 declarations
- ConeModel.lean 30 declarations
- ConePauli.lean 67 declarations
- CubeCalculus.lean 27 declarations
- CubeField.lean 40 declarations
- Definitions.lean 145 declarations
- DetectingSpaces.lean 58 declarations
- DiagonalIteration.lean 39 declarations
- DropSections.lean 63 declarations
- EndpointMultiplicity.lean 33 declarations
- FactorIndependence.lean 54 declarations
- FieldCalculus.lean 57 declarations
- FiniteDrop.lean 25 declarations
- FlipPath.lean 58 declarations
- FourLegSymmetries.lean 22 declarations
- FullComparison.lean 23 declarations
- Fullness.lean 22 declarations
- FunctionalCalculus.lean 47 declarations
- GeneralSystem.lean 36 declarations
- HereditaryTransport.lean 72 declarations
- InductiveLimit.lean 26 declarations
- InfiniteTensor.lean 46 declarations
- JiangSu.lean 31 declarations
- Main.lean 4 declarations
- MatrixPaths.lean 34 declarations
- MatrixSimplex.lean 86 declarations
- MaxTensor.lean 55 declarations
- MinTensor.lean 49 declarations
- MinimalFunctoriality.lean 34 declarations
- MultiplicativeChannels.lean 39 declarations
- NoncommutingPair.lean 7 declarations
- NormUltrapower.lean 27 declarations
- OrderZero.lean 55 declarations
- OrderZeroPair.lean 44 declarations
- Pauli.lean 66 declarations
- PrimeChannels.lean 18 declarations
- PrimePresentation.lean 41 declarations
- PrimeSpectrum.lean 66 declarations
- PrimeSquare.lean 28 declarations
- Projectionless.lean 29 declarations
- Reindexing.lean 16 declarations
- RepresentationTheory.lean 46 declarations
- Representations.lean 29 declarations
- RepresentedLabels.lean 26 declarations
- SeparableReduction.lean 25 declarations
- SignObstruction.lean 19 declarations
- SpatialTensor.lean 32 declarations
- SquareZeroCone.lean 41 declarations
- StandardPrime.lean 34 declarations
- States.lean 14 declarations
- SymmetryFlow.lean 94 declarations
- TensorComparison.lean 11 declarations
- TensorSections.lean 49 declarations
- Traces.lean 34 declarations
- UltrapowerSaturation.lean 15 declarations
- WeightedUnits.lean 66 declarations