OAI/Analysis/MutuallyUnbiased/
629544 declarations, 0 contain sorry, 0 declared as axioms; 3386 files
Folders
- Bases/ 9 files, 75 declarations
- Certificate/ 14 files, 125 declarations
- Completion/ 10 files, 110 declarations
- Cubic/ 18 files, 125 declarations
- Fourier/ 5 files, 36 declarations
- GramAssembly/ 189 files, 10996 declarations
- GramData/ 61 files, 2078 declarations
- GramEntries/ 110 files, 5215 declarations
- GramFunctions/ 8 files, 419 declarations
- GramKeys/ 25 files, 3149 declarations
- GramRows/ 183 files, 101620 declarations
- Matrix/ 5 files, 44 declarations
- MixedData/ 23 files, 2557 declarations
- MixedMerge/ 78 files, 8144 declarations
- MixedMoments/ 6 files, 33 declarations
- MixedSemantics/ 911 files, 389945 declarations
- MixedSources/ 306 files, 16095 declarations
- MixedTargets/ 616 files, 25165 declarations
- Moments/ 17 files, 216 declarations
- PairData/ 2 files, 262 declarations
- PairMerge/ 13 files, 1087 declarations
- PairMoments/ 5 files, 135 declarations
- PairPolynomial/ 4 files, 237 declarations
- PairSemantics/ 519 files, 54370 declarations
- PairSources/ 18 files, 520 declarations
- PairTargets/ 69 files, 1042 declarations
- Results/ 1 files, 4 declarations
- Tao/ 7 files, 72 declarations
- TaoCertificate/ 152 files, 5651 declarations
Files
- Main.lean 1 declarations
- Model.lean 16 declarations