OAI/Analysis/MutuallyUnbiased/GramEntries/
5215 declarations, 0 contain sorry, 0 declared as axioms; 110 files
Files
- Block0.lean 6 declarations
- Block0Data.lean 16 declarations
- Block0Row0.lean 4 declarations
- Block0Row1.lean 8 declarations
- Block0Row2.lean 12 declarations
- Block0Row3.lean 16 declarations
- Block0Row4.lean 20 declarations
- Block1.lean 22 declarations
- Block1Data.lean 232 declarations
- Block1Row0.lean 4 declarations
- Block1Row1.lean 8 declarations
- Block1Row10.lean 44 declarations
- Block1Row11.lean 48 declarations
- Block1Row12.lean 52 declarations
- Block1Row13.lean 56 declarations
- Block1Row14.lean 60 declarations
- Block1Row15.lean 64 declarations
- Block1Row16.lean 68 declarations
- Block1Row17.lean 72 declarations
- Block1Row18.lean 76 declarations
- Block1Row19.lean 80 declarations
- Block1Row2.lean 12 declarations
- Block1Row20.lean 84 declarations
- Block1Row3.lean 16 declarations
- Block1Row4.lean 20 declarations
- Block1Row5.lean 24 declarations
- Block1Row6.lean 28 declarations
- Block1Row7.lean 32 declarations
- Block1Row8.lean 36 declarations
- Block1Row9.lean 40 declarations
- Block2.lean 12 declarations
- Block2Data.lean 67 declarations
- Block2Row0.lean 4 declarations
- Block2Row1.lean 8 declarations
- Block2Row10.lean 44 declarations
- Block2Row2.lean 12 declarations
- Block2Row3.lean 16 declarations
- Block2Row4.lean 20 declarations
- Block2Row5.lean 24 declarations
- Block2Row6.lean 28 declarations
- Block2Row7.lean 32 declarations
- Block2Row8.lean 36 declarations
- Block2Row9.lean 40 declarations
- Block3.lean 28 declarations
- Block3Data.lean 379 declarations
- Block3Row0.lean 4 declarations
- Block3Row1.lean 8 declarations
- Block3Row10.lean 44 declarations
- Block3Row11.lean 48 declarations
- Block3Row12.lean 52 declarations
- Block3Row13.lean 56 declarations
- Block3Row14.lean 60 declarations
- Block3Row15.lean 64 declarations
- Block3Row16.lean 68 declarations
- Block3Row17.lean 72 declarations
- Block3Row18.lean 76 declarations
- Block3Row19.lean 80 declarations
- Block3Row2.lean 12 declarations
- Block3Row20.lean 84 declarations
- Block3Row21.lean 88 declarations
- Block3Row22.lean 92 declarations
- Block3Row23.lean 96 declarations
- Block3Row24.lean 100 declarations
- Block3Row25.lean 104 declarations
- Block3Row26.lean 108 declarations
- Block3Row3.lean 16 declarations
- Block3Row4.lean 20 declarations
- Block3Row5.lean 24 declarations
- Block3Row6.lean 28 declarations
- Block3Row7.lean 32 declarations
- Block3Row8.lean 36 declarations
- Block3Row9.lean 40 declarations
- Block4.lean 23 declarations
- Block4Data.lean 254 declarations
- Block4Row0.lean 4 declarations
- Block4Row1.lean 8 declarations
- Block4Row10.lean 44 declarations
- Block4Row11.lean 48 declarations
- Block4Row12.lean 52 declarations
- Block4Row13.lean 56 declarations
- Block4Row14.lean 60 declarations
- Block4Row15.lean 64 declarations
- Block4Row16.lean 68 declarations
- Block4Row17.lean 72 declarations
- Block4Row18.lean 76 declarations
- Block4Row19.lean 80 declarations
- Block4Row2.lean 12 declarations
- Block4Row20.lean 84 declarations
- Block4Row21.lean 88 declarations
- Block4Row3.lean 16 declarations
- Block4Row4.lean 20 declarations
- Block4Row5.lean 24 declarations
- Block4Row6.lean 28 declarations
- Block4Row7.lean 32 declarations
- Block4Row8.lean 36 declarations
- Block4Row9.lean 40 declarations
- Block5.lean 13 declarations
- Block5Data.lean 79 declarations
- Block5Row0.lean 4 declarations
- Block5Row1.lean 8 declarations
- Block5Row10.lean 44 declarations
- Block5Row11.lean 48 declarations
- Block5Row2.lean 12 declarations
- Block5Row3.lean 16 declarations
- Block5Row4.lean 20 declarations
- Block5Row5.lean 24 declarations
- Block5Row6.lean 28 declarations
- Block5Row7.lean 32 declarations
- Block5Row8.lean 36 declarations
- Block5Row9.lean 40 declarations