`OAI/Analysis/MutuallyUnbiased/GramAssembly/`

10996 declarations, 0 contain sorry, 0 declared as axioms; 189 files

Files

Block0.lean 9 declarations
Block0Data.lean 39 declarations
Block0Part0.lean 72 declarations
Block0Reindex.lean 1 declarations
Block0Reindex0.lean 6 declarations
Block0Reindex1.lean 6 declarations
Block0Reindex2.lean 6 declarations
Block0Reindex3.lean 6 declarations
Block0Reindex4.lean 6 declarations
Block0Semantics.lean 3 declarations
Block1.lean 25 declarations
Block1Data.lean 487 declarations
Block1Part0.lean 96 declarations
Block1Part1.lean 96 declarations
Block1Part10.lean 96 declarations
Block1Part11.lean 96 declarations
Block1Part12.lean 96 declarations
Block1Part13.lean 227 declarations
Block1Part2.lean 96 declarations
Block1Part3.lean 96 declarations
Block1Part4.lean 96 declarations
Block1Part5.lean 96 declarations
Block1Part6.lean 96 declarations
Block1Part7.lean 96 declarations
Block1Part8.lean 96 declarations
Block1Part9.lean 96 declarations
Block1Reindex.lean 1 declarations
Block1Reindex0.lean 22 declarations
Block1Reindex1.lean 22 declarations
Block1Reindex10.lean 22 declarations
Block1Reindex11.lean 22 declarations
Block1Reindex12.lean 22 declarations
Block1Reindex13.lean 22 declarations
Block1Reindex14.lean 22 declarations
Block1Reindex15.lean 22 declarations
Block1Reindex16.lean 22 declarations
Block1Reindex17.lean 22 declarations
Block1Reindex18.lean 22 declarations
Block1Reindex19.lean 22 declarations
Block1Reindex2.lean 22 declarations
Block1Reindex20.lean 22 declarations
Block1Reindex3.lean 22 declarations
Block1Reindex4.lean 22 declarations
Block1Reindex5.lean 22 declarations
Block1Reindex6.lean 22 declarations
Block1Reindex7.lean 22 declarations
Block1Reindex8.lean 22 declarations
Block1Reindex9.lean 22 declarations
Block1Semantics.lean 3 declarations
Block2.lean 15 declarations
Block2Data.lean 147 declarations
Block2Part0.lean 96 declarations
Block2Part1.lean 96 declarations
Block2Part2.lean 96 declarations
Block2Part3.lean 137 declarations
Block2Reindex.lean 1 declarations
Block2Reindex0.lean 12 declarations
Block2Reindex1.lean 12 declarations
Block2Reindex10.lean 12 declarations
Block2Reindex2.lean 12 declarations
Block2Reindex3.lean 12 declarations
Block2Reindex4.lean 12 declarations
Block2Reindex5.lean 12 declarations
Block2Reindex6.lean 12 declarations
Block2Reindex7.lean 12 declarations
Block2Reindex8.lean 12 declarations
Block2Reindex9.lean 12 declarations
Block2Semantics.lean 3 declarations
Block3.lean 31 declarations
Block3Data.lean 787 declarations
Block3Part0.lean 96 declarations
Block3Part1.lean 96 declarations
Block3Part10.lean 96 declarations
Block3Part11.lean 96 declarations
Block3Part12.lean 96 declarations
Block3Part13.lean 96 declarations
Block3Part14.lean 96 declarations
Block3Part15.lean 96 declarations
Block3Part16.lean 96 declarations
Block3Part17.lean 96 declarations
Block3Part18.lean 96 declarations
Block3Part19.lean 96 declarations
Block3Part2.lean 96 declarations
Block3Part20.lean 96 declarations
Block3Part21.lean 96 declarations
Block3Part22.lean 267 declarations
Block3Part3.lean 96 declarations
Block3Part4.lean 96 declarations
Block3Part5.lean 96 declarations
Block3Part6.lean 96 declarations
Block3Part7.lean 96 declarations
Block3Part8.lean 96 declarations
Block3Part9.lean 96 declarations
Block3Reindex.lean 1 declarations
Block3Reindex0.lean 28 declarations
Block3Reindex1.lean 28 declarations
Block3Reindex10.lean 28 declarations
Block3Reindex11.lean 28 declarations
Block3Reindex12.lean 28 declarations
Block3Reindex13.lean 28 declarations
Block3Reindex14.lean 28 declarations
Block3Reindex15.lean 28 declarations
Block3Reindex16.lean 28 declarations
Block3Reindex17.lean 28 declarations
Block3Reindex18.lean 28 declarations
Block3Reindex19.lean 28 declarations
Block3Reindex2.lean 28 declarations
Block3Reindex20.lean 28 declarations
Block3Reindex21.lean 28 declarations
Block3Reindex22.lean 28 declarations
Block3Reindex23.lean 28 declarations
Block3Reindex24.lean 28 declarations
Block3Reindex25.lean 28 declarations
Block3Reindex26.lean 28 declarations
Block3Reindex3.lean 28 declarations
Block3Reindex4.lean 28 declarations
Block3Reindex5.lean 28 declarations
Block3Reindex6.lean 28 declarations
Block3Reindex7.lean 28 declarations
Block3Reindex8.lean 28 declarations
Block3Reindex9.lean 28 declarations
Block3Semantics.lean 3 declarations
Block4.lean 26 declarations
Block4Data.lean 532 declarations
Block4Part0.lean 96 declarations
Block4Part1.lean 96 declarations
Block4Part10.lean 96 declarations
Block4Part11.lean 96 declarations
Block4Part12.lean 96 declarations
Block4Part13.lean 96 declarations
Block4Part14.lean 190 declarations
Block4Part15.lean 66 declarations
Block4Part2.lean 96 declarations
Block4Part3.lean 96 declarations
Block4Part4.lean 96 declarations
Block4Part5.lean 96 declarations
Block4Part6.lean 96 declarations
Block4Part7.lean 96 declarations
Block4Part8.lean 96 declarations
Block4Part9.lean 96 declarations
Block4Reindex.lean 1 declarations
Block4Reindex0.lean 23 declarations
Block4Reindex1.lean 23 declarations
Block4Reindex10.lean 23 declarations
Block4Reindex11.lean 23 declarations
Block4Reindex12.lean 23 declarations
Block4Reindex13.lean 23 declarations
Block4Reindex14.lean 23 declarations
Block4Reindex15.lean 23 declarations
Block4Reindex16.lean 23 declarations
Block4Reindex17.lean 23 declarations
Block4Reindex18.lean 23 declarations
Block4Reindex19.lean 23 declarations
Block4Reindex2.lean 23 declarations
Block4Reindex20.lean 23 declarations
Block4Reindex21.lean 23 declarations
Block4Reindex3.lean 23 declarations
Block4Reindex4.lean 23 declarations
Block4Reindex5.lean 23 declarations
Block4Reindex6.lean 23 declarations
Block4Reindex7.lean 23 declarations
Block4Reindex8.lean 23 declarations
Block4Reindex9.lean 23 declarations
Block4Semantics.lean 3 declarations
Block5.lean 16 declarations
Block5Data.lean 172 declarations
Block5Part0.lean 96 declarations
Block5Part1.lean 96 declarations
Block5Part2.lean 96 declarations
Block5Part3.lean 96 declarations
Block5Part4.lean 70 declarations
Block5Reindex.lean 1 declarations
Block5Reindex0.lean 13 declarations
Block5Reindex1.lean 13 declarations
Block5Reindex10.lean 13 declarations
Block5Reindex11.lean 13 declarations
Block5Reindex2.lean 13 declarations
Block5Reindex3.lean 13 declarations
Block5Reindex4.lean 13 declarations
Block5Reindex5.lean 13 declarations
Block5Reindex6.lean 13 declarations
Block5Reindex7.lean 13 declarations
Block5Reindex8.lean 13 declarations
Block5Reindex9.lean 13 declarations
Block5Semantics.lean 3 declarations
Combined.lean 184 declarations
Coordinates.lean 48 declarations
FiniteSums.lean 6 declarations
Semantics.lean 1 declarations