OAI/Analysis/MutuallyUnbiased/Moments/
216 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- AuxiliaryGram.lean 38 declarations
- AverageAlgebra.lean 9 declarations
- Averages.lean 6 declarations
- DifferentMatrices.lean 6 declarations
- EmbeddedCharge.lean 14 declarations
- EqualityPatterns.lean 6 declarations
- GramNormalization.lean 18 declarations
- MomentContraction.lean 12 declarations
- MomentSymmetry.lean 11 declarations
- Moments.lean 7 declarations
- NormalizedPartitions.lean 5 declarations
- OrderedPairs.lean 18 declarations
- Orthogonality.lean 3 declarations
- PartitionExpansion.lean 8 declarations
- Sampling.lean 6 declarations
- SamplingAverage.lean 6 declarations
- SmallPartitions.lean 43 declarations