`OAI/Analysis/MutuallyUnbiased/PairSemantics/`

54370 declarations, 0 contain sorry, 0 declared as axioms; 519 files

Files

Boundaries.lean 17 imports, no declarations
Boundary0.lean 64 declarations
Boundary1.lean 64 declarations
Boundary10.lean 64 declarations
Boundary11.lean 64 declarations
Boundary12.lean 64 declarations
Boundary13.lean 64 declarations
Boundary14.lean 64 declarations
Boundary15.lean 64 declarations
Boundary16.lean 20 declarations
Boundary2.lean 64 declarations
Boundary3.lean 64 declarations
Boundary4.lean 64 declarations
Boundary5.lean 64 declarations
Boundary6.lean 64 declarations
Boundary7.lean 64 declarations
Boundary8.lean 64 declarations
Boundary9.lean 64 declarations
Canonical0.lean 129 declarations
Canonical1.lean 102 declarations
Canonical10.lean 113 declarations
Canonical100.lean 111 declarations
Canonical101.lean 117 declarations
Canonical102.lean 116 declarations
Canonical103.lean 109 declarations
Canonical104.lean 101 declarations
Canonical105.lean 124 declarations
Canonical106.lean 103 declarations
Canonical107.lean 122 declarations
Canonical108.lean 121 declarations
Canonical109.lean 108 declarations
Canonical11.lean 128 declarations
Canonical110.lean 114 declarations
Canonical111.lean 103 declarations
Canonical112.lean 132 declarations
Canonical113.lean 126 declarations
Canonical114.lean 108 declarations
Canonical115.lean 105 declarations
Canonical116.lean 115 declarations
Canonical117.lean 116 declarations
Canonical118.lean 109 declarations
Canonical119.lean 116 declarations
Canonical12.lean 112 declarations
Canonical120.lean 110 declarations
Canonical121.lean 115 declarations
Canonical122.lean 110 declarations
Canonical123.lean 102 declarations
Canonical124.lean 100 declarations
Canonical125.lean 86 declarations
Canonical126.lean 90 declarations
Canonical127.lean 93 declarations
Canonical128.lean 102 declarations
Canonical129.lean 96 declarations
Canonical13.lean 105 declarations
Canonical130.lean 127 declarations
Canonical131.lean 134 declarations
Canonical132.lean 113 declarations
Canonical133.lean 119 declarations
Canonical134.lean 106 declarations
Canonical135.lean 118 declarations
Canonical136.lean 93 declarations
Canonical137.lean 112 declarations
Canonical138.lean 133 declarations
Canonical139.lean 108 declarations
Canonical14.lean 100 declarations
Canonical140.lean 103 declarations
Canonical141.lean 110 declarations
Canonical142.lean 106 declarations
Canonical143.lean 108 declarations
Canonical144.lean 123 declarations
Canonical145.lean 105 declarations
Canonical146.lean 108 declarations
Canonical147.lean 93 declarations
Canonical148.lean 110 declarations
Canonical149.lean 113 declarations
Canonical15.lean 118 declarations
Canonical150.lean 121 declarations
Canonical151.lean 121 declarations
Canonical152.lean 106 declarations
Canonical153.lean 85 declarations
Canonical154.lean 96 declarations
Canonical155.lean 102 declarations
Canonical156.lean 110 declarations
Canonical157.lean 130 declarations
Canonical158.lean 121 declarations
Canonical159.lean 103 declarations
Canonical16.lean 87 declarations
Canonical160.lean 115 declarations
Canonical161.lean 138 declarations
Canonical162.lean 116 declarations
Canonical163.lean 112 declarations
Canonical164.lean 115 declarations
Canonical165.lean 126 declarations
Canonical166.lean 111 declarations
Canonical167.lean 125 declarations
Canonical168.lean 105 declarations
Canonical169.lean 110 declarations
Canonical17.lean 104 declarations
Canonical170.lean 117 declarations
Canonical171.lean 79 declarations
Canonical172.lean 88 declarations
Canonical173.lean 90 declarations
Canonical174.lean 93 declarations
Canonical175.lean 97 declarations
Canonical176.lean 110 declarations
Canonical177.lean 97 declarations
Canonical178.lean 110 declarations
Canonical179.lean 102 declarations
Canonical18.lean 119 declarations
Canonical180.lean 107 declarations
Canonical181.lean 130 declarations
Canonical182.lean 123 declarations
Canonical183.lean 90 declarations
Canonical184.lean 93 declarations
Canonical185.lean 90 declarations
Canonical186.lean 87 declarations
Canonical187.lean 117 declarations
Canonical188.lean 91 declarations
Canonical189.lean 88 declarations
Canonical19.lean 116 declarations
Canonical190.lean 106 declarations
Canonical191.lean 111 declarations
Canonical192.lean 97 declarations
Canonical193.lean 108 declarations
Canonical194.lean 86 declarations
Canonical195.lean 98 declarations
Canonical196.lean 85 declarations
Canonical197.lean 117 declarations
Canonical198.lean 103 declarations
Canonical199.lean 108 declarations
Canonical2.lean 114 declarations
Canonical20.lean 114 declarations
Canonical200.lean 94 declarations
Canonical201.lean 93 declarations
Canonical202.lean 104 declarations
Canonical203.lean 86 declarations
Canonical204.lean 116 declarations
Canonical205.lean 124 declarations
Canonical206.lean 105 declarations
Canonical207.lean 99 declarations
Canonical208.lean 109 declarations
Canonical209.lean 129 declarations
Canonical21.lean 97 declarations
Canonical210.lean 103 declarations
Canonical211.lean 100 declarations
Canonical212.lean 97 declarations
Canonical213.lean 96 declarations
Canonical214.lean 95 declarations
Canonical215.lean 150 declarations
Canonical216.lean 138 declarations
Canonical217.lean 130 declarations
Canonical218.lean 97 declarations
Canonical219.lean 101 declarations
Canonical22.lean 97 declarations
Canonical220.lean 112 declarations
Canonical221.lean 91 declarations
Canonical222.lean 116 declarations
Canonical223.lean 109 declarations
Canonical224.lean 107 declarations
Canonical225.lean 102 declarations
Canonical226.lean 117 declarations
Canonical227.lean 122 declarations
Canonical228.lean 118 declarations
Canonical229.lean 126 declarations
Canonical23.lean 105 declarations
Canonical230.lean 113 declarations
Canonical231.lean 105 declarations
Canonical232.lean 110 declarations
Canonical233.lean 129 declarations
Canonical234.lean 139 declarations
Canonical235.lean 156 declarations
Canonical236.lean 114 declarations
Canonical237.lean 148 declarations
Canonical238.lean 124 declarations
Canonical239.lean 119 declarations
Canonical24.lean 98 declarations
Canonical240.lean 134 declarations
Canonical241.lean 125 declarations
Canonical242.lean 121 declarations
Canonical243.lean 111 declarations
Canonical244.lean 118 declarations
Canonical245.lean 107 declarations
Canonical246.lean 120 declarations
Canonical247.lean 130 declarations
Canonical248.lean 139 declarations
Canonical249.lean 128 declarations
Canonical25.lean 106 declarations
Canonical250.lean 123 declarations
Canonical251.lean 124 declarations
Canonical252.lean 124 declarations
Canonical253.lean 126 declarations
Canonical254.lean 125 declarations
Canonical255.lean 105 declarations
Canonical256.lean 107 declarations
Canonical257.lean 128 declarations
Canonical258.lean 138 declarations
Canonical259.lean 136 declarations
Canonical26.lean 98 declarations
Canonical260.lean 117 declarations
Canonical261.lean 121 declarations
Canonical262.lean 125 declarations
Canonical263.lean 123 declarations
Canonical264.lean 113 declarations
Canonical265.lean 136 declarations
Canonical266.lean 104 declarations
Canonical267.lean 107 declarations
Canonical268.lean 114 declarations
Canonical269.lean 117 declarations
Canonical27.lean 119 declarations
Canonical270.lean 101 declarations
Canonical271.lean 133 declarations
Canonical272.lean 109 declarations
Canonical273.lean 106 declarations
Canonical274.lean 110 declarations
Canonical275.lean 133 declarations
Canonical276.lean 119 declarations
Canonical277.lean 146 declarations
Canonical278.lean 150 declarations
Canonical279.lean 142 declarations
Canonical28.lean 119 declarations
Canonical280.lean 141 declarations
Canonical281.lean 144 declarations
Canonical282.lean 163 declarations
Canonical283.lean 140 declarations
Canonical284.lean 117 declarations
Canonical285.lean 107 declarations
Canonical286.lean 110 declarations
Canonical287.lean 114 declarations
Canonical288.lean 107 declarations
Canonical289.lean 121 declarations
Canonical29.lean 79 declarations
Canonical290.lean 116 declarations
Canonical291.lean 108 declarations
Canonical292.lean 115 declarations
Canonical293.lean 135 declarations
Canonical294.lean 124 declarations
Canonical295.lean 101 declarations
Canonical296.lean 99 declarations
Canonical297.lean 113 declarations
Canonical298.lean 112 declarations
Canonical299.lean 100 declarations
Canonical3.lean 118 declarations
Canonical30.lean 91 declarations
Canonical300.lean 105 declarations
Canonical301.lean 105 declarations
Canonical302.lean 108 declarations
Canonical303.lean 143 declarations
Canonical304.lean 139 declarations
Canonical305.lean 130 declarations
Canonical306.lean 98 declarations
Canonical307.lean 101 declarations
Canonical308.lean 102 declarations
Canonical309.lean 102 declarations
Canonical31.lean 111 declarations
Canonical310.lean 107 declarations
Canonical311.lean 139 declarations
Canonical312.lean 129 declarations
Canonical313.lean 100 declarations
Canonical314.lean 102 declarations
Canonical315.lean 117 declarations
Canonical316.lean 135 declarations
Canonical317.lean 130 declarations
Canonical318.lean 38 declarations
Canonical32.lean 96 declarations
Canonical33.lean 103 declarations
Canonical34.lean 94 declarations
Canonical35.lean 129 declarations
Canonical36.lean 106 declarations
Canonical37.lean 103 declarations
Canonical38.lean 113 declarations
Canonical39.lean 127 declarations
Canonical4.lean 121 declarations
Canonical40.lean 101 declarations
Canonical41.lean 120 declarations
Canonical42.lean 85 declarations
Canonical43.lean 96 declarations
Canonical44.lean 82 declarations
Canonical45.lean 87 declarations
Canonical46.lean 75 declarations
Canonical47.lean 108 declarations
Canonical48.lean 94 declarations
Canonical49.lean 86 declarations
Canonical5.lean 112 declarations
Canonical50.lean 93 declarations
Canonical51.lean 101 declarations
Canonical52.lean 117 declarations
Canonical53.lean 115 declarations
Canonical54.lean 113 declarations
Canonical55.lean 80 declarations
Canonical56.lean 98 declarations
Canonical57.lean 106 declarations
Canonical58.lean 127 declarations
Canonical59.lean 89 declarations
Canonical6.lean 95 declarations
Canonical60.lean 103 declarations
Canonical61.lean 85 declarations
Canonical62.lean 96 declarations
Canonical63.lean 103 declarations
Canonical64.lean 119 declarations
Canonical65.lean 116 declarations
Canonical66.lean 119 declarations
Canonical67.lean 94 declarations
Canonical68.lean 101 declarations
Canonical69.lean 92 declarations
Canonical7.lean 84 declarations
Canonical70.lean 91 declarations
Canonical71.lean 139 declarations
Canonical72.lean 104 declarations
Canonical73.lean 88 declarations
Canonical74.lean 91 declarations
Canonical75.lean 106 declarations
Canonical76.lean 115 declarations
Canonical77.lean 119 declarations
Canonical78.lean 123 declarations
Canonical79.lean 102 declarations
Canonical8.lean 110 declarations
Canonical80.lean 119 declarations
Canonical81.lean 127 declarations
Canonical82.lean 133 declarations
Canonical83.lean 104 declarations
Canonical84.lean 99 declarations
Canonical85.lean 83 declarations
Canonical86.lean 92 declarations
Canonical87.lean 86 declarations
Canonical88.lean 86 declarations
Canonical89.lean 98 declarations
Canonical9.lean 85 declarations
Canonical90.lean 102 declarations
Canonical91.lean 104 declarations
Canonical92.lean 96 declarations
Canonical93.lean 108 declarations
Canonical94.lean 123 declarations
Canonical95.lean 118 declarations
Canonical96.lean 103 declarations
Canonical97.lean 110 declarations
Canonical98.lean 104 declarations
Canonical99.lean 87 declarations
Coordinates.lean 2 declarations
Coordinates0.lean 65 declarations
Coordinates1.lean 65 declarations
Coordinates10.lean 65 declarations
Coordinates11.lean 65 declarations
Coordinates12.lean 65 declarations
Coordinates13.lean 65 declarations
Coordinates14.lean 14 declarations
Coordinates2.lean 65 declarations
Coordinates3.lean 65 declarations
Coordinates4.lean 65 declarations
Coordinates5.lean 65 declarations
Coordinates6.lean 65 declarations
Coordinates7.lean 65 declarations
Coordinates8.lean 65 declarations
Coordinates9.lean 65 declarations
Nodes0.lean 64 declarations
Nodes1.lean 64 declarations
Nodes10.lean 64 declarations
Nodes11.lean 64 declarations
Nodes12.lean 64 declarations
Nodes13.lean 64 declarations
Nodes14.lean 64 declarations
Nodes15.lean 64 declarations
Nodes16.lean 64 declarations
Nodes17.lean 64 declarations
Nodes18.lean 64 declarations
Nodes19.lean 64 declarations
Nodes2.lean 64 declarations
Nodes20.lean 64 declarations
Nodes21.lean 64 declarations
Nodes22.lean 64 declarations
Nodes23.lean 64 declarations
Nodes24.lean 64 declarations
Nodes25.lean 64 declarations
Nodes26.lean 64 declarations
Nodes27.lean 64 declarations
Nodes28.lean 64 declarations
Nodes29.lean 64 declarations
Nodes3.lean 64 declarations
Nodes30.lean 64 declarations
Nodes31.lean 64 declarations
Nodes32.lean 64 declarations
Nodes33.lean 64 declarations
Nodes34.lean 64 declarations
Nodes35.lean 64 declarations
Nodes36.lean 64 declarations
Nodes37.lean 64 declarations
Nodes38.lean 64 declarations
Nodes39.lean 64 declarations
Nodes4.lean 64 declarations
Nodes40.lean 64 declarations
Nodes41.lean 64 declarations
Nodes42.lean 64 declarations
Nodes43.lean 64 declarations
Nodes44.lean 64 declarations
Nodes45.lean 64 declarations
Nodes46.lean 64 declarations
Nodes47.lean 64 declarations
Nodes48.lean 64 declarations
Nodes49.lean 64 declarations
Nodes5.lean 64 declarations
Nodes50.lean 64 declarations
Nodes51.lean 64 declarations
Nodes52.lean 64 declarations
Nodes53.lean 64 declarations
Nodes54.lean 13 declarations
Nodes6.lean 64 declarations
Nodes7.lean 64 declarations
Nodes8.lean 64 declarations
Nodes9.lean 64 declarations
Permutations.lean 410 declarations
Sound0.lean 126 declarations
Sound1.lean 152 declarations
Sound10.lean 150 declarations
Sound11.lean 180 declarations
Sound12.lean 192 declarations
Sound13.lean 190 declarations
Sound14.lean 186 declarations
Sound15.lean 192 declarations
Sound16.lean 192 declarations
Sound17.lean 190 declarations
Sound18.lean 192 declarations
Sound19.lean 192 declarations
Sound2.lean 156 declarations
Sound20.lean 190 declarations
Sound21.lean 192 declarations
Sound22.lean 192 declarations
Sound23.lean 192 declarations
Sound24.lean 192 declarations
Sound25.lean 192 declarations
Sound26.lean 192 declarations
Sound27.lean 192 declarations
Sound28.lean 192 declarations
Sound29.lean 192 declarations
Sound3.lean 156 declarations
Sound30.lean 192 declarations
Sound31.lean 192 declarations
Sound32.lean 192 declarations
Sound33.lean 192 declarations
Sound34.lean 192 declarations
Sound35.lean 192 declarations
Sound36.lean 192 declarations
Sound37.lean 192 declarations
Sound38.lean 192 declarations
Sound39.lean 192 declarations
Sound4.lean 182 declarations
Sound40.lean 192 declarations
Sound41.lean 192 declarations
Sound42.lean 192 declarations
Sound43.lean 192 declarations
Sound44.lean 192 declarations
Sound45.lean 192 declarations
Sound46.lean 192 declarations
Sound47.lean 192 declarations
Sound48.lean 192 declarations
Sound49.lean 192 declarations
Sound5.lean 190 declarations
Sound50.lean 192 declarations
Sound51.lean 192 declarations
Sound52.lean 192 declarations
Sound53.lean 192 declarations
Sound54.lean 39 declarations
Sound6.lean 144 declarations
Sound7.lean 64 declarations
Sound8.lean 164 declarations
Sound9.lean 96 declarations
Values0.lean 64 declarations
Values1.lean 64 declarations
Values10.lean 64 declarations
Values11.lean 64 declarations
Values12.lean 64 declarations
Values13.lean 64 declarations
Values14.lean 64 declarations
Values15.lean 64 declarations
Values16.lean 64 declarations
Values17.lean 64 declarations
Values18.lean 64 declarations
Values19.lean 64 declarations
Values2.lean 64 declarations
Values20.lean 64 declarations
Values21.lean 64 declarations
Values22.lean 64 declarations
Values23.lean 64 declarations
Values24.lean 64 declarations
Values25.lean 64 declarations
Values26.lean 64 declarations
Values27.lean 64 declarations
Values28.lean 64 declarations
Values29.lean 64 declarations
Values3.lean 64 declarations
Values30.lean 64 declarations
Values31.lean 64 declarations
Values32.lean 64 declarations
Values33.lean 64 declarations
Values34.lean 64 declarations
Values35.lean 64 declarations
Values36.lean 64 declarations
Values37.lean 64 declarations
Values38.lean 64 declarations
Values39.lean 64 declarations
Values4.lean 64 declarations
Values40.lean 64 declarations
Values41.lean 64 declarations
Values42.lean 64 declarations
Values43.lean 64 declarations
Values44.lean 64 declarations
Values45.lean 64 declarations
Values46.lean 64 declarations
Values47.lean 64 declarations
Values48.lean 64 declarations
Values49.lean 64 declarations
Values5.lean 64 declarations
Values50.lean 64 declarations
Values51.lean 64 declarations
Values52.lean 64 declarations
Values53.lean 64 declarations
Values54.lean 13 declarations
Values6.lean 64 declarations
Values7.lean 64 declarations
Values8.lean 64 declarations
Values9.lean 64 declarations