OAI/Analysis/MutuallyUnbiased/TaoCertificate/
5651 declarations, 0 contain sorry, 0 declared as axioms; 152 files
Files
- Conclusion.lean 2 declarations
- CubeTarget.lean 3 declarations
- KnownTarget0.lean 5 declarations
- KnownTarget1.lean 5 declarations
- KnownTarget10.lean 5 declarations
- KnownTarget11.lean 5 declarations
- KnownTarget12.lean 5 declarations
- KnownTarget13.lean 5 declarations
- KnownTarget2.lean 5 declarations
- KnownTarget3.lean 5 declarations
- KnownTarget4.lean 5 declarations
- KnownTarget5.lean 5 declarations
- KnownTarget6.lean 5 declarations
- KnownTarget7.lean 5 declarations
- KnownTarget8.lean 5 declarations
- KnownTarget9.lean 5 declarations
- Merge0.lean 40 declarations
- Merge1.lean 38 declarations
- Merge10.lean 39 declarations
- Merge11.lean 40 declarations
- Merge12.lean 39 declarations
- Merge13.lean 40 declarations
- Merge14.lean 40 declarations
- Merge15.lean 40 declarations
- Merge16.lean 38 declarations
- Merge17.lean 40 declarations
- Merge18.lean 40 declarations
- Merge19.lean 40 declarations
- Merge2.lean 40 declarations
- Merge20.lean 39 declarations
- Merge21.lean 40 declarations
- Merge22.lean 39 declarations
- Merge23.lean 40 declarations
- Merge24.lean 40 declarations
- Merge25.lean 39 declarations
- Merge26.lean 40 declarations
- Merge27.lean 40 declarations
- Merge28.lean 40 declarations
- Merge29.lean 38 declarations
- Merge3.lean 40 declarations
- Merge30.lean 39 declarations
- Merge31.lean 40 declarations
- Merge32.lean 40 declarations
- Merge33.lean 40 declarations
- Merge34.lean 39 declarations
- Merge35.lean 40 declarations
- Merge36.lean 39 declarations
- Merge37.lean 40 declarations
- Merge38.lean 40 declarations
- Merge39.lean 40 declarations
- Merge4.lean 40 declarations
- Merge40.lean 40 declarations
- Merge41.lean 38 declarations
- Merge42.lean 40 declarations
- Merge43.lean 38 declarations
- Merge44.lean 40 declarations
- Merge45.lean 60 declarations
- Merge46.lean 87 declarations
- Merge47.lean 111 declarations
- Merge48.lean 130 declarations
- Merge49.lean 146 declarations
- Merge5.lean 39 declarations
- Merge50.lean 149 declarations
- Merge51.lean 157 declarations
- Merge52.lean 171 declarations
- Merge53.lean 179 declarations
- Merge54.lean 184 declarations
- Merge55.lean 180 declarations
- Merge56.lean 178 declarations
- Merge57.lean 172 declarations
- Merge58.lean 164 declarations
- Merge59.lean 128 declarations
- Merge6.lean 39 declarations
- Merge7.lean 40 declarations
- Merge8.lean 40 declarations
- Merge9.lean 40 declarations
- Merged.lean 1 import, no declarations
- Rows.lean 60 imports, no declarations
- Rows0.lean 24 declarations
- Rows1.lean 24 declarations
- Rows10.lean 24 declarations
- Rows11.lean 24 declarations
- Rows12.lean 24 declarations
- Rows13.lean 24 declarations
- Rows14.lean 24 declarations
- Rows15.lean 24 declarations
- Rows16.lean 24 declarations
- Rows17.lean 24 declarations
- Rows18.lean 24 declarations
- Rows19.lean 24 declarations
- Rows2.lean 24 declarations
- Rows20.lean 24 declarations
- Rows21.lean 24 declarations
- Rows22.lean 24 declarations
- Rows23.lean 24 declarations
- Rows24.lean 24 declarations
- Rows25.lean 24 declarations
- Rows26.lean 24 declarations
- Rows27.lean 24 declarations
- Rows28.lean 24 declarations
- Rows29.lean 24 declarations
- Rows3.lean 24 declarations
- Rows30.lean 24 declarations
- Rows31.lean 24 declarations
- Rows32.lean 24 declarations
- Rows33.lean 24 declarations
- Rows34.lean 24 declarations
- Rows35.lean 24 declarations
- Rows36.lean 24 declarations
- Rows37.lean 24 declarations
- Rows38.lean 24 declarations
- Rows39.lean 24 declarations
- Rows4.lean 24 declarations
- Rows40.lean 24 declarations
- Rows41.lean 24 declarations
- Rows42.lean 24 declarations
- Rows43.lean 24 declarations
- Rows44.lean 24 declarations
- Rows45.lean 24 declarations
- Rows46.lean 24 declarations
- Rows47.lean 24 declarations
- Rows48.lean 24 declarations
- Rows49.lean 24 declarations
- Rows5.lean 24 declarations
- Rows50.lean 24 declarations
- Rows51.lean 24 declarations
- Rows52.lean 24 declarations
- Rows53.lean 24 declarations
- Rows54.lean 24 declarations
- Rows55.lean 24 declarations
- Rows56.lean 24 declarations
- Rows57.lean 24 declarations
- Rows58.lean 24 declarations
- Rows59.lean 24 declarations
- Rows6.lean 24 declarations
- Rows7.lean 24 declarations
- Rows8.lean 24 declarations
- Rows9.lean 24 declarations
- TargetMerge0.lean 6 declarations
- TargetMerge1.lean 7 declarations
- TargetMerge10.lean 14 declarations
- TargetMerge11.lean 15 declarations
- TargetMerge12.lean 16 declarations
- TargetMerge13.lean 17 declarations
- TargetMerge2.lean 8 declarations
- TargetMerge3.lean 8 declarations
- TargetMerge4.lean 9 declarations
- TargetMerge5.lean 10 declarations
- TargetMerge6.lean 11 declarations
- TargetMerge7.lean 12 declarations
- TargetMerge8.lean 13 declarations
- TargetMerge9.lean 14 declarations