`OAI/RepresentationTheory/UniversalSquare/Finite/`

13844 declarations, 0 contain sorry, 0 declared as axioms; 270 files

Files

ChoiceCertificates13.lean 24 declarations
DegreeChecks116.lean 1 declarations
DegreeChecks118.lean 1 declarations
DegreeChecks14.lean 1 declarations
DegreeChecks16.lean 1 declarations
DegreeChecks18.lean 1 declarations
DegreeChecks19.lean 1 declarations
DegreeChecks20.lean 1 declarations
DegreeChecks22.lean 1 declarations
DegreeChecks24.lean 1 declarations
DegreeChecks26.lean 1 declarations
DegreeChecks31.lean 1 declarations
DegreeChecks35.lean 1 declarations
DegreeChecks37.lean 1 declarations
DegreeChecks39.lean 1 declarations
DegreeChecks41.lean 1 declarations
DegreeChecks43.lean 1 declarations
DegreeChecks58.lean 1 declarations
DegreeChecks62.lean 1 declarations
DegreeChecks64.lean 1 declarations
DegreeChecks89.lean 1 declarations
DegreeCover116.lean 26 declarations
DegreeCover118.lean 26 declarations
DegreeCover14.lean 26 declarations
DegreeCover16.lean 26 declarations
DegreeCover18.lean 26 declarations
DegreeCover19.lean 26 declarations
DegreeCover20.lean 26 declarations
DegreeCover22.lean 26 declarations
DegreeCover24.lean 26 declarations
DegreeCover26.lean 26 declarations
DegreeCover31.lean 26 declarations
DegreeCover35.lean 26 declarations
DegreeCover37.lean 26 declarations
DegreeCover39.lean 26 declarations
DegreeCover41.lean 26 declarations
DegreeCover43.lean 26 declarations
DegreeCover58.lean 26 declarations
DegreeCover62.lean 26 declarations
DegreeCover64.lean 26 declarations
DegreeCover89.lean 26 declarations
DegreeEight.lean 65 declarations
DegreeFive.lean 22 declarations
DegreeLeaves116.lean 23 declarations
DegreeLeaves118.lean 23 declarations
DegreeLeaves14.lean 14 declarations
DegreeLeaves16.lean 16 declarations
DegreeLeaves18.lean 18 declarations
DegreeLeaves19.lean 9 declarations
DegreeLeaves20.lean 20 declarations
DegreeLeaves22.lean 22 declarations
DegreeLeaves24.lean 82 declarations
DegreeLeaves26.lean 90 declarations
DegreeLeaves31.lean 89 declarations
DegreeLeaves35.lean 149 declarations
DegreeLeaves37.lean 18 declarations
DegreeLeaves39.lean 291 declarations
DegreeLeaves41.lean 22 declarations
DegreeLeaves43.lean 840 declarations
DegreeLeaves58.lean 111 declarations
DegreeLeaves62.lean 1154 declarations
DegreeLeaves64.lean 31 declarations
DegreeLeaves89.lean 19 declarations
DegreePlans116.lean 10 declarations
DegreePlans118.lean 7 declarations
DegreePlans14.lean 7 declarations
DegreePlans16.lean 7 declarations
DegreePlans18.lean 7 declarations
DegreePlans19.lean 7 declarations
DegreePlans20.lean 7 declarations
DegreePlans22.lean 7 declarations
DegreePlans24.lean 7 declarations
DegreePlans26.lean 7 declarations
DegreePlans31.lean 10 declarations
DegreePlans35.lean 10 declarations
DegreePlans37.lean 7 declarations
DegreePlans39.lean 10 declarations
DegreePlans41.lean 7 declarations
DegreePlans43.lean 10 declarations
DegreePlans58.lean 10 declarations
DegreePlans62.lean 10 declarations
DegreePlans64.lean 7 declarations
DegreePlans89.lean 10 declarations
DegreeRegionData116.lean 2 declarations
DegreeRegionData118.lean 2 declarations
DegreeRegionData14.lean 4 declarations
DegreeRegionData16.lean 7 declarations
DegreeRegionData18.lean 11 declarations
DegreeRegionData19.lean 3 declarations
DegreeRegionData20.lean 21 declarations
DegreeRegionData22.lean 16 declarations
DegreeRegionData24.lean 26 declarations
DegreeRegionData26.lean 20 declarations
DegreeRegionData31.lean 22 declarations
DegreeRegionData35.lean 47 declarations
DegreeRegionData37.lean 123 declarations
DegreeRegionData39.lean 87 declarations
DegreeRegionData41.lean 158 declarations
DegreeRegionData43.lean 121 declarations
DegreeRegionData58.lean 64 declarations
DegreeRegionData62.lean 113 declarations
DegreeRegionData64.lean 138 declarations
DegreeRegionData89.lean 9 declarations
DegreeRegions116.lean 3 declarations
DegreeRegions118.lean 3 declarations
DegreeRegions14.lean 3 declarations
DegreeRegions16.lean 3 declarations
DegreeRegions18.lean 3 declarations
DegreeRegions19.lean 3 declarations
DegreeRegions20.lean 3 declarations
DegreeRegions22.lean 3 declarations
DegreeRegions24.lean 6 declarations
DegreeRegions26.lean 6 declarations
DegreeRegions31.lean 6 declarations
DegreeRegions35.lean 14 declarations
DegreeRegions37.lean 3 declarations
DegreeRegions39.lean 29 declarations
DegreeRegions41.lean 3 declarations
DegreeRegions43.lean 64 declarations
DegreeRegions58.lean 14 declarations
DegreeRegions62.lean 200 declarations
DegreeRegions64.lean 3 declarations
DegreeRegions89.lean 3 declarations
DegreeSeven.lean 49 declarations
DegreeTreeData116.lean 2 declarations
DegreeTreeData118.lean 2 declarations
DegreeTreeData14.lean 2 declarations
DegreeTreeData16.lean 2 declarations
DegreeTreeData18.lean 2 declarations
DegreeTreeData19.lean 2 declarations
DegreeTreeData20.lean 16 declarations
DegreeTreeData22.lean 16 declarations
DegreeTreeData24.lean 32 declarations
DegreeTreeData26.lean 64 declarations
DegreeTreeData31.lean 4 declarations
DegreeTreeData35.lean 26 declarations
DegreeTreeData37.lean 2 declarations
DegreeTreeData39.lean 128 declarations
DegreeTreeData41.lean 16 declarations
DegreeTreeData43.lean 650 declarations
DegreeTreeData58.lean 4 declarations
DegreeTreeData62.lean 1024 declarations
DegreeTreeData64.lean 2 declarations
DegreeTreeData89.lean 2 declarations
DegreeTreeProof116.lean 2 declarations
DegreeTreeProof118.lean 2 declarations
DegreeTreeProof14.lean 2 declarations
DegreeTreeProof16.lean 2 declarations
DegreeTreeProof18.lean 2 declarations
DegreeTreeProof19.lean 2 declarations
DegreeTreeProof20.lean 16 declarations
DegreeTreeProof22.lean 16 declarations
DegreeTreeProof24.lean 32 declarations
DegreeTreeProof26.lean 64 declarations
DegreeTreeProof31.lean 4 declarations
DegreeTreeProof35.lean 26 declarations
DegreeTreeProof37.lean 2 declarations
DegreeTreeProof39.lean 128 declarations
DegreeTreeProof41.lean 16 declarations
DegreeTreeProof43.lean 650 declarations
DegreeTreeProof58.lean 4 declarations
DegreeTreeProof62.lean 1024 declarations
DegreeTreeProof64.lean 2 declarations
DegreeTreeProof89.lean 2 declarations
DegreeUnionData116.lean 3 declarations
DegreeUnionData118.lean 3 declarations
DegreeUnionData14.lean 3 declarations
DegreeUnionData16.lean 3 declarations
DegreeUnionData18.lean 3 declarations
DegreeUnionData19.lean 3 declarations
DegreeUnionData20.lean 3 declarations
DegreeUnionData22.lean 3 declarations
DegreeUnionData24.lean 3 declarations
DegreeUnionData26.lean 3 declarations
DegreeUnionData31.lean 3 declarations
DegreeUnionData35.lean 3 declarations
DegreeUnionData37.lean 3 declarations
DegreeUnionData39.lean 3 declarations
DegreeUnionData41.lean 3 declarations
DegreeUnionData43.lean 3 declarations
DegreeUnionData58.lean 3 declarations
DegreeUnionData62.lean 3 declarations
DegreeUnionData64.lean 3 declarations
DegreeUnionData89.lean 3 declarations
DegreeUnionStates24.lean 61 declarations
DegreeUnionStates26.lean 67 declarations
DegreeUnionStates31.lean 81 declarations
DegreeUnionStates35.lean 144 declarations
DegreeUnionStates39.lean 297 declarations
DegreeUnionStates43.lean 877 declarations
DegreeUnionStates58.lean 97 declarations
DegreeUnionStates62.lean 1322 declarations
EightSplitCertificate.lean 4 declarations
NumericalDegree11.lean 5 declarations
NumericalDegree112.lean 37 declarations
NumericalDegree116.lean 1 declarations
NumericalDegree118.lean 1 declarations
NumericalDegree12.lean 37 declarations
NumericalDegree13.lean 5 declarations
NumericalDegree14.lean 1 declarations
NumericalDegree151.lean 37 declarations
NumericalDegree16.lean 1 declarations
NumericalDegree17.lean 34 declarations
NumericalDegree18.lean 1 declarations
NumericalDegree19.lean 1 declarations
NumericalDegree20.lean 1 declarations
NumericalDegree22.lean 1 declarations
NumericalDegree23.lean 37 declarations
NumericalDegree24.lean 1 declarations
NumericalDegree25.lean 34 declarations
NumericalDegree26.lean 1 declarations
NumericalDegree27.lean 34 declarations
NumericalDegree29.lean 34 declarations
NumericalDegree30.lean 34 declarations
NumericalDegree31.lean 1 declarations
NumericalDegree32.lean 34 declarations
NumericalDegree33.lean 34 declarations
NumericalDegree34.lean 34 declarations
NumericalDegree35.lean 1 declarations
NumericalDegree37.lean 1 declarations
NumericalDegree38.lean 37 declarations
NumericalDegree39.lean 1 declarations
NumericalDegree40.lean 34 declarations
NumericalDegree41.lean 1 declarations
NumericalDegree42.lean 34 declarations
NumericalDegree43.lean 1 declarations
NumericalDegree44.lean 34 declarations
NumericalDegree46.lean 37 declarations
NumericalDegree47.lean 34 declarations
NumericalDegree48.lean 34 declarations
NumericalDegree49.lean 34 declarations
NumericalDegree50.lean 37 declarations
NumericalDegree51.lean 34 declarations
NumericalDegree52.lean 34 declarations
NumericalDegree53.lean 34 declarations
NumericalDegree54.lean 37 declarations
NumericalDegree56.lean 34 declarations
NumericalDegree57.lean 37 declarations
NumericalDegree58.lean 1 declarations
NumericalDegree59.lean 34 declarations
NumericalDegree60.lean 34 declarations
NumericalDegree61.lean 34 declarations
NumericalDegree62.lean 1 declarations
NumericalDegree63.lean 34 declarations
NumericalDegree64.lean 1 declarations
NumericalDegree89.lean 1 declarations
PieriRows116.lean 6 declarations
PieriRows118.lean 4 declarations
PieriRows62.lean 3 declarations
PieriRows64.lean 3 declarations
PieriRows89.lean 3 declarations
SmallContracts11_0.lean 24 declarations
SmallContracts11_1.lean 24 declarations
SmallContracts11_2.lean 24 declarations
SmallContracts11_3.lean 20 declarations
SmallContracts11_4.lean 24 declarations
SmallContracts11_5.lean 24 declarations
SmallContracts11_6.lean 24 declarations
SmallContracts13_1.lean 20 declarations
SmallContracts13_10.lean 24 declarations
SmallContracts13_11.lean 24 declarations
SmallContracts13_12.lean 18 declarations
SmallContracts13_2.lean 24 declarations
SmallContracts13_3.lean 24 declarations
SmallContracts13_4.lean 24 declarations
SmallContracts13_5.lean 20 declarations
SmallContracts13_6.lean 24 declarations
SmallContracts13_7.lean 24 declarations
SmallContracts13_8.lean 24 declarations
SmallContracts13_9.lean 20 declarations