`OAI/Analysis/Laughlin/FiniteFlux/`

8664 declarations, 0 contain sorry, 0 declared as axioms; 931 files

Files

ComputeGram01Batch12.lean 6 declarations
ComputeGram01Batch13.lean 7 declarations
ComputeGram01Batch14.lean 7 declarations
ComputeGram01Batch15.lean 8 declarations
ComputeGram01Batch16.lean 8 declarations
ComputeGram01Batch17.lean 9 declarations
ComputeGram01Batch18.lean 9 declarations
ComputeGram01Batch19.lean 10 declarations
ComputeGram01Batch20.lean 10 declarations
ComputeGram01Batch21.lean 11 declarations
ComputeGram01Batch22.lean 11 declarations
ComputeGram01Batch23.lean 12 declarations
ComputeGram03Batch12.lean 5 declarations
ComputeGram03Batch13.lean 6 declarations
ComputeGram03Batch14.lean 6 declarations
ComputeGram03Batch15.lean 7 declarations
ComputeGram03Batch16.lean 7 declarations
ComputeGram03Batch17.lean 8 declarations
ComputeGram03Batch18.lean 8 declarations
ComputeGram03Batch19.lean 9 declarations
ComputeGram03Batch20.lean 9 declarations
ComputeGram03Batch21.lean 10 declarations
ComputeGram03Batch22.lean 10 declarations
ComputeGram03Batch23.lean 11 declarations
ComputeGram05Batch12.lean 4 declarations
ComputeGram05Batch13.lean 5 declarations
ComputeGram05Batch14.lean 5 declarations
ComputeGram05Batch15.lean 6 declarations
ComputeGram05Batch16.lean 6 declarations
ComputeGram05Batch17.lean 7 declarations
ComputeGram05Batch18.lean 7 declarations
ComputeGram05Batch19.lean 8 declarations
ComputeGram05Batch20.lean 8 declarations
ComputeGram05Batch21.lean 9 declarations
ComputeGram05Batch22.lean 9 declarations
ComputeGram05Batch23.lean 10 declarations
ComputeGram07Batch12.lean 3 declarations
ComputeGram07Batch13.lean 4 declarations
ComputeGram07Batch14.lean 4 declarations
ComputeGram07Batch15.lean 5 declarations
ComputeGram07Batch16.lean 5 declarations
ComputeGram07Batch17.lean 6 declarations
ComputeGram07Batch18.lean 6 declarations
ComputeGram07Batch19.lean 7 declarations
ComputeGram07Batch20.lean 7 declarations
ComputeGram07Batch21.lean 8 declarations
ComputeGram07Batch22.lean 8 declarations
ComputeGram07Batch23.lean 9 declarations
ComputeGram09.lean 15 declarations
ComputeGram09Batch12.lean 2 declarations
ComputeGram09Batch13.lean 3 declarations
ComputeGram09Batch14.lean 3 declarations
ComputeGram09Batch15.lean 4 declarations
ComputeGram09Batch16.lean 4 declarations
ComputeGram09Batch17.lean 5 declarations
ComputeGram09Batch18.lean 5 declarations
ComputeGram09Batch19.lean 6 declarations
ComputeGram09Batch20.lean 6 declarations
ComputeGram09Batch21.lean 7 declarations
ComputeGram09Batch22.lean 7 declarations
ComputeGram09Batch23.lean 8 declarations
ComputeGram10.lean 15 declarations
ComputeGram11.lean 21 declarations
ComputeGram111112.lean 1 declarations
ComputeGram11Batch13.lean 2 declarations
ComputeGram11Batch14.lean 2 declarations
ComputeGram11Batch15.lean 3 declarations
ComputeGram11Batch16.lean 3 declarations
ComputeGram11Batch17.lean 4 declarations
ComputeGram11Batch18.lean 4 declarations
ComputeGram11Batch19.lean 5 declarations
ComputeGram11Batch20.lean 5 declarations
ComputeGram11Batch21.lean 6 declarations
ComputeGram11Batch22.lean 6 declarations
ComputeGram11Batch23.lean 7 declarations
ComputeGram131313.lean 1 declarations
ComputeGram131314.lean 1 declarations
ComputeGram13Batch15.lean 2 declarations
ComputeGram13Batch16.lean 2 declarations
ComputeGram13Batch17.lean 3 declarations
ComputeGram13Batch18.lean 3 declarations
ComputeGram13Batch19.lean 4 declarations
ComputeGram13Batch20.lean 4 declarations
ComputeGram13Batch21.lean 5 declarations
ComputeGram13Batch22.lean 5 declarations
ComputeGram13Batch23.lean 6 declarations
ComputeGram151515.lean 1 declarations
ComputeGram151516.lean 1 declarations
ComputeGram15Batch17.lean 2 declarations
ComputeGram15Batch18.lean 2 declarations
ComputeGram15Batch19.lean 3 declarations
ComputeGram15Batch20.lean 3 declarations
ComputeGram15Batch21.lean 4 declarations
ComputeGram15Batch22.lean 4 declarations
ComputeGram15Batch23.lean 5 declarations
ComputeGram171717.lean 1 declarations
ComputeGram171718.lean 1 declarations
ComputeGram17Batch19.lean 2 declarations
ComputeGram17Batch20.lean 2 declarations
ComputeGram17Batch21.lean 3 declarations
ComputeGram17Batch22.lean 3 declarations
ComputeGram17Batch23.lean 4 declarations
ComputeGram191919.lean 1 declarations
ComputeGram191920.lean 1 declarations
ComputeGram19Batch21.lean 2 declarations
ComputeGram19Batch22.lean 2 declarations
ComputeGram19Batch23.lean 3 declarations
ComputeGram212121.lean 1 declarations
ComputeGram212122.lean 1 declarations
ComputeGram21Batch23.lean 2 declarations
ComputeGram232323.lean 1 declarations
ComputeLDL00Batch12.lean 6 declarations
ComputeLDL00Batch13.lean 7 declarations
ComputeLDL00Batch14.lean 7 declarations
ComputeLDL00Batch15.lean 8 declarations
ComputeLDL00Batch16.lean 8 declarations
ComputeLDL00Batch17.lean 9 declarations
ComputeLDL00Batch18.lean 9 declarations
ComputeLDL00Batch19.lean 10 declarations
ComputeLDL00Batch20.lean 10 declarations
ComputeLDL00Batch21.lean 11 declarations
ComputeLDL00Batch22.lean 11 declarations
ComputeLDL00Batch23.lean 12 declarations
ComputeLDL01Batch12.lean 6 declarations
ComputeLDL01Batch13.lean 7 declarations
ComputeLDL01Batch14.lean 7 declarations
ComputeLDL01Batch15.lean 8 declarations
ComputeLDL01Batch16.lean 8 declarations
ComputeLDL01Batch17.lean 9 declarations
ComputeLDL01Batch18.lean 9 declarations
ComputeLDL01Batch19.lean 10 declarations
ComputeLDL01Batch20.lean 10 declarations
ComputeLDL01Batch21.lean 11 declarations
ComputeLDL01Batch22.lean 11 declarations
ComputeLDL01Batch23.lean 12 declarations
ComputeLDL02Batch12.lean 6 declarations
ComputeLDL02Batch13.lean 7 declarations
ComputeLDL02Batch14.lean 7 declarations
ComputeLDL02Batch15.lean 8 declarations
ComputeLDL02Batch16.lean 8 declarations
ComputeLDL02Batch17.lean 9 declarations
ComputeLDL02Batch18.lean 9 declarations
ComputeLDL02Batch19.lean 10 declarations
ComputeLDL02Batch20.lean 10 declarations
ComputeLDL02Batch21.lean 11 declarations
ComputeLDL02Batch22.lean 11 declarations
ComputeLDL02Batch23.lean 12 declarations
ComputeLDL03Batch12.lean 6 declarations
ComputeLDL03Batch13.lean 7 declarations
ComputeLDL03Batch14.lean 7 declarations
ComputeLDL03Batch15.lean 8 declarations
ComputeLDL03Batch16.lean 8 declarations
ComputeLDL03Batch17.lean 9 declarations
ComputeLDL03Batch18.lean 9 declarations
ComputeLDL03Batch19.lean 10 declarations
ComputeLDL03Batch20.lean 10 declarations
ComputeLDL03Batch21.lean 11 declarations
ComputeLDL03Batch22.lean 11 declarations
ComputeLDL03Batch23.lean 12 declarations
ComputeLDL04Batch12.lean 6 declarations
ComputeLDL04Batch13.lean 7 declarations
ComputeLDL04Batch14.lean 7 declarations
ComputeLDL04Batch15.lean 8 declarations
ComputeLDL04Batch16.lean 8 declarations
ComputeLDL04Batch17.lean 9 declarations
ComputeLDL04Batch18.lean 9 declarations
ComputeLDL04Batch19.lean 10 declarations
ComputeLDL04Batch20.lean 10 declarations
ComputeLDL04Batch21.lean 11 declarations
ComputeLDL04Batch22.lean 11 declarations
ComputeLDL04Batch23.lean 12 declarations
ComputeLDL050511.lean 1 declarations
ComputeLDL05Batch12.lean 6 declarations
ComputeLDL05Batch13.lean 7 declarations
ComputeLDL05Batch14.lean 7 declarations
ComputeLDL05Batch15.lean 8 declarations
ComputeLDL05Batch16.lean 8 declarations
ComputeLDL05Batch17.lean 9 declarations
ComputeLDL05Batch18.lean 9 declarations
ComputeLDL05Batch19.lean 10 declarations
ComputeLDL05Batch20.lean 10 declarations
ComputeLDL05Batch21.lean 11 declarations
ComputeLDL05Batch22.lean 11 declarations
ComputeLDL05Batch23.lean 12 declarations
ComputeLDL06Batch13.lean 7 declarations
ComputeLDL06Batch14.lean 7 declarations
ComputeLDL06Batch15.lean 8 declarations
ComputeLDL06Batch16.lean 8 declarations
ComputeLDL06Batch17.lean 9 declarations
ComputeLDL06Batch18.lean 9 declarations
ComputeLDL06Batch19.lean 10 declarations
ComputeLDL06Batch20.lean 10 declarations
ComputeLDL06Batch21.lean 11 declarations
ComputeLDL06Batch22.lean 11 declarations
ComputeLDL06Batch23.lean 12 declarations
ComputeLDL07Batch15.lean 8 declarations
ComputeLDL07Batch16.lean 8 declarations
ComputeLDL07Batch17.lean 9 declarations
ComputeLDL07Batch18.lean 9 declarations
ComputeLDL07Batch19.lean 10 declarations
ComputeLDL07Batch20.lean 10 declarations
ComputeLDL07Batch21.lean 11 declarations
ComputeLDL07Batch22.lean 11 declarations
ComputeLDL07Batch23.lean 12 declarations
ComputeLDL08Batch17.lean 9 declarations
ComputeLDL08Batch18.lean 9 declarations
ComputeLDL08Batch19.lean 10 declarations
ComputeLDL08Batch20.lean 10 declarations
ComputeLDL08Batch21.lean 11 declarations
ComputeLDL08Batch22.lean 11 declarations
ComputeLDL08Batch23.lean 12 declarations
ComputeLDL09.lean 25 declarations
ComputeLDL09Batch19.lean 10 declarations
ComputeLDL09Batch20.lean 10 declarations
ComputeLDL09Batch21.lean 11 declarations
ComputeLDL09Batch22.lean 11 declarations
ComputeLDL09Batch23.lean 12 declarations
ComputeLDL10.lean 25 declarations
ComputeLDL10Batch21.lean 11 declarations
ComputeLDL10Batch22.lean 11 declarations
ComputeLDL10Batch23.lean 12 declarations
ComputeLDL11.lean 35 declarations
ComputeLDL11Batch23.lean 12 declarations
ComputeQuadruples09.lean 1 declarations
ComputeQuadruples10.lean 1 declarations
ComputeQuadruples11.lean 1 declarations
ComputeQuadruples12.lean 1 declarations
ComputeQuadruples13.lean 1 declarations
ComputeQuadruples14.lean 1 declarations
ComputeQuadruples15.lean 1 declarations
ComputeQuadruples16.lean 1 declarations
ComputeQuadruples17.lean 1 declarations
ComputeQuadruples18.lean 1 declarations
ComputeQuadruples19.lean 1 declarations
ComputeQuadruples20.lean 1 declarations
ComputeQuadruples21.lean 1 declarations
ComputeQuadruples22.lean 1 declarations
ComputeQuadruples23.lean 1 declarations
ComputeRow0101Batch12.lean 7 declarations
ComputeRow0101Batch13.lean 7 declarations
ComputeRow0101Batch14.lean 7 declarations
ComputeRow0101Batch15.lean 7 declarations
ComputeRow0101Batch16.lean 7 declarations
ComputeRow0101Batch17.lean 7 declarations
ComputeRow0101Batch18.lean 7 declarations
ComputeRow0101Batch19.lean 7 declarations
ComputeRow0101Batch20.lean 7 declarations
ComputeRow0101Batch21.lean 7 declarations
ComputeRow0101Batch22.lean 7 declarations
ComputeRow0101Batch23.lean 7 declarations
ComputeRow0103Batch12.lean 7 declarations
ComputeRow0103Batch13.lean 7 declarations
ComputeRow0103Batch14.lean 7 declarations
ComputeRow0103Batch15.lean 7 declarations
ComputeRow0103Batch16.lean 7 declarations
ComputeRow0103Batch17.lean 7 declarations
ComputeRow0103Batch18.lean 7 declarations
ComputeRow0103Batch19.lean 7 declarations
ComputeRow0103Batch20.lean 7 declarations
ComputeRow0103Batch21.lean 7 declarations
ComputeRow0103Batch22.lean 7 declarations
ComputeRow0103Batch23.lean 7 declarations
ComputeRow0105Batch12.lean 7 declarations
ComputeRow0105Batch13.lean 7 declarations
ComputeRow0105Batch14.lean 7 declarations
ComputeRow0105Batch15.lean 7 declarations
ComputeRow0105Batch16.lean 7 declarations
ComputeRow0105Batch17.lean 7 declarations
ComputeRow0105Batch18.lean 7 declarations
ComputeRow0105Batch19.lean 7 declarations
ComputeRow0105Batch20.lean 7 declarations
ComputeRow0105Batch21.lean 7 declarations
ComputeRow0105Batch22.lean 7 declarations
ComputeRow0105Batch23.lean 7 declarations
ComputeRow0107Batch12.lean 7 declarations
ComputeRow0107Batch13.lean 7 declarations
ComputeRow0107Batch14.lean 7 declarations
ComputeRow0107Batch15.lean 7 declarations
ComputeRow0107Batch16.lean 7 declarations
ComputeRow0107Batch17.lean 7 declarations
ComputeRow0107Batch18.lean 7 declarations
ComputeRow0107Batch19.lean 7 declarations
ComputeRow0107Batch20.lean 7 declarations
ComputeRow0107Batch21.lean 7 declarations
ComputeRow0107Batch22.lean 7 declarations
ComputeRow0107Batch23.lean 7 declarations
ComputeRow0109Batch12.lean 7 declarations
ComputeRow0109Batch13.lean 7 declarations
ComputeRow0109Batch14.lean 7 declarations
ComputeRow0109Batch15.lean 7 declarations
ComputeRow0109Batch16.lean 7 declarations
ComputeRow0109Batch17.lean 7 declarations
ComputeRow0109Batch18.lean 7 declarations
ComputeRow0109Batch19.lean 7 declarations
ComputeRow0109Batch20.lean 7 declarations
ComputeRow0109Batch21.lean 7 declarations
ComputeRow0109Batch22.lean 7 declarations
ComputeRow0109Batch23.lean 7 declarations
ComputeRow0111Batch12.lean 7 declarations
ComputeRow0111Batch13.lean 7 declarations
ComputeRow0111Batch14.lean 7 declarations
ComputeRow0111Batch15.lean 7 declarations
ComputeRow0111Batch16.lean 7 declarations
ComputeRow0111Batch17.lean 7 declarations
ComputeRow0111Batch18.lean 7 declarations
ComputeRow0111Batch19.lean 7 declarations
ComputeRow0111Batch20.lean 7 declarations
ComputeRow0111Batch21.lean 7 declarations
ComputeRow0111Batch22.lean 7 declarations
ComputeRow0111Batch23.lean 7 declarations
ComputeRow0113Batch13.lean 7 declarations
ComputeRow0113Batch14.lean 7 declarations
ComputeRow0113Batch15.lean 7 declarations
ComputeRow0113Batch16.lean 7 declarations
ComputeRow0113Batch17.lean 7 declarations
ComputeRow0113Batch18.lean 7 declarations
ComputeRow0113Batch19.lean 7 declarations
ComputeRow0113Batch20.lean 7 declarations
ComputeRow0113Batch21.lean 7 declarations
ComputeRow0113Batch22.lean 7 declarations
ComputeRow0113Batch23.lean 7 declarations
ComputeRow0115Batch15.lean 7 declarations
ComputeRow0115Batch16.lean 7 declarations
ComputeRow0115Batch17.lean 7 declarations
ComputeRow0115Batch18.lean 7 declarations
ComputeRow0115Batch19.lean 7 declarations
ComputeRow0115Batch20.lean 7 declarations
ComputeRow0115Batch21.lean 7 declarations
ComputeRow0115Batch22.lean 7 declarations
ComputeRow0115Batch23.lean 7 declarations
ComputeRow0117Batch17.lean 7 declarations
ComputeRow0117Batch18.lean 7 declarations
ComputeRow0117Batch19.lean 7 declarations
ComputeRow0117Batch20.lean 7 declarations
ComputeRow0117Batch21.lean 7 declarations
ComputeRow0117Batch22.lean 7 declarations
ComputeRow0117Batch23.lean 7 declarations
ComputeRow0119Batch19.lean 7 declarations
ComputeRow0119Batch20.lean 7 declarations
ComputeRow0119Batch21.lean 7 declarations
ComputeRow0119Batch22.lean 7 declarations
ComputeRow0119Batch23.lean 7 declarations
ComputeRow0121Batch21.lean 7 declarations
ComputeRow0121Batch22.lean 7 declarations
ComputeRow0121Batch23.lean 7 declarations
ComputeRow0123Batch23.lean 7 declarations
ComputeRow0303Batch12.lean 7 declarations
ComputeRow0303Batch13.lean 7 declarations
ComputeRow0303Batch14.lean 7 declarations
ComputeRow0303Batch15.lean 7 declarations
ComputeRow0303Batch16.lean 7 declarations
ComputeRow0303Batch17.lean 7 declarations
ComputeRow0303Batch18.lean 7 declarations
ComputeRow0303Batch19.lean 7 declarations
ComputeRow0303Batch20.lean 7 declarations
ComputeRow0303Batch21.lean 7 declarations
ComputeRow0303Batch22.lean 7 declarations
ComputeRow0303Batch23.lean 7 declarations
ComputeRow0305Batch12.lean 7 declarations
ComputeRow0305Batch13.lean 7 declarations
ComputeRow0305Batch14.lean 7 declarations
ComputeRow0305Batch15.lean 7 declarations
ComputeRow0305Batch16.lean 7 declarations
ComputeRow0305Batch17.lean 7 declarations
ComputeRow0305Batch18.lean 7 declarations
ComputeRow0305Batch19.lean 7 declarations
ComputeRow0305Batch20.lean 7 declarations
ComputeRow0305Batch21.lean 7 declarations
ComputeRow0305Batch22.lean 7 declarations
ComputeRow0305Batch23.lean 7 declarations
ComputeRow0307Batch12.lean 7 declarations
ComputeRow0307Batch13.lean 7 declarations
ComputeRow0307Batch14.lean 7 declarations
ComputeRow0307Batch15.lean 7 declarations
ComputeRow0307Batch16.lean 7 declarations
ComputeRow0307Batch17.lean 7 declarations
ComputeRow0307Batch18.lean 7 declarations
ComputeRow0307Batch19.lean 7 declarations
ComputeRow0307Batch20.lean 7 declarations
ComputeRow0307Batch21.lean 7 declarations
ComputeRow0307Batch22.lean 7 declarations
ComputeRow0307Batch23.lean 7 declarations
ComputeRow0309Batch12.lean 7 declarations
ComputeRow0309Batch13.lean 7 declarations
ComputeRow0309Batch14.lean 7 declarations
ComputeRow0309Batch15.lean 7 declarations
ComputeRow0309Batch16.lean 7 declarations
ComputeRow0309Batch17.lean 7 declarations
ComputeRow0309Batch18.lean 7 declarations
ComputeRow0309Batch19.lean 7 declarations
ComputeRow0309Batch20.lean 7 declarations
ComputeRow0309Batch21.lean 7 declarations
ComputeRow0309Batch22.lean 7 declarations
ComputeRow0309Batch23.lean 7 declarations
ComputeRow0311Batch12.lean 7 declarations
ComputeRow0311Batch13.lean 7 declarations
ComputeRow0311Batch14.lean 7 declarations
ComputeRow0311Batch15.lean 7 declarations
ComputeRow0311Batch16.lean 7 declarations
ComputeRow0311Batch17.lean 7 declarations
ComputeRow0311Batch18.lean 7 declarations
ComputeRow0311Batch19.lean 7 declarations
ComputeRow0311Batch20.lean 7 declarations
ComputeRow0311Batch21.lean 7 declarations
ComputeRow0311Batch22.lean 7 declarations
ComputeRow0311Batch23.lean 7 declarations
ComputeRow0313Batch13.lean 7 declarations
ComputeRow0313Batch14.lean 7 declarations
ComputeRow0313Batch15.lean 7 declarations
ComputeRow0313Batch16.lean 7 declarations
ComputeRow0313Batch17.lean 7 declarations
ComputeRow0313Batch18.lean 7 declarations
ComputeRow0313Batch19.lean 7 declarations
ComputeRow0313Batch20.lean 7 declarations
ComputeRow0313Batch21.lean 7 declarations
ComputeRow0313Batch22.lean 7 declarations
ComputeRow0313Batch23.lean 7 declarations
ComputeRow0315Batch15.lean 7 declarations
ComputeRow0315Batch16.lean 7 declarations
ComputeRow0315Batch17.lean 7 declarations
ComputeRow0315Batch18.lean 7 declarations
ComputeRow0315Batch19.lean 7 declarations
ComputeRow0315Batch20.lean 7 declarations
ComputeRow0315Batch21.lean 7 declarations
ComputeRow0315Batch22.lean 7 declarations
ComputeRow0315Batch23.lean 7 declarations
ComputeRow0317Batch17.lean 7 declarations
ComputeRow0317Batch18.lean 7 declarations
ComputeRow0317Batch19.lean 7 declarations
ComputeRow0317Batch20.lean 7 declarations
ComputeRow0317Batch21.lean 7 declarations
ComputeRow0317Batch22.lean 7 declarations
ComputeRow0317Batch23.lean 7 declarations
ComputeRow0319Batch19.lean 7 declarations
ComputeRow0319Batch20.lean 7 declarations
ComputeRow0319Batch21.lean 7 declarations
ComputeRow0319Batch22.lean 7 declarations
ComputeRow0319Batch23.lean 7 declarations
ComputeRow0321Batch21.lean 7 declarations
ComputeRow0321Batch22.lean 7 declarations
ComputeRow0321Batch23.lean 7 declarations
ComputeRow0323Batch23.lean 7 declarations
ComputeRow0505Batch12.lean 7 declarations
ComputeRow0505Batch13.lean 7 declarations
ComputeRow0505Batch14.lean 7 declarations
ComputeRow0505Batch15.lean 7 declarations
ComputeRow0505Batch16.lean 7 declarations
ComputeRow0505Batch17.lean 7 declarations
ComputeRow0505Batch18.lean 7 declarations
ComputeRow0505Batch19.lean 7 declarations
ComputeRow0505Batch20.lean 7 declarations
ComputeRow0505Batch21.lean 7 declarations
ComputeRow0505Batch22.lean 7 declarations
ComputeRow0505Batch23.lean 7 declarations
ComputeRow0507Batch12.lean 7 declarations
ComputeRow0507Batch13.lean 7 declarations
ComputeRow0507Batch14.lean 7 declarations
ComputeRow0507Batch15.lean 7 declarations
ComputeRow0507Batch16.lean 7 declarations
ComputeRow0507Batch17.lean 7 declarations
ComputeRow0507Batch18.lean 7 declarations
ComputeRow0507Batch19.lean 7 declarations
ComputeRow0507Batch20.lean 7 declarations
ComputeRow0507Batch21.lean 7 declarations
ComputeRow0507Batch22.lean 7 declarations
ComputeRow0507Batch23.lean 7 declarations
ComputeRow0509Batch12.lean 7 declarations
ComputeRow0509Batch13.lean 7 declarations
ComputeRow0509Batch14.lean 7 declarations
ComputeRow0509Batch15.lean 7 declarations
ComputeRow0509Batch16.lean 7 declarations
ComputeRow0509Batch17.lean 7 declarations
ComputeRow0509Batch18.lean 7 declarations
ComputeRow0509Batch19.lean 7 declarations
ComputeRow0509Batch20.lean 7 declarations
ComputeRow0509Batch21.lean 7 declarations
ComputeRow0509Batch22.lean 7 declarations
ComputeRow0509Batch23.lean 7 declarations
ComputeRow0511Batch12.lean 7 declarations
ComputeRow0511Batch13.lean 7 declarations
ComputeRow0511Batch14.lean 7 declarations
ComputeRow0511Batch15.lean 7 declarations
ComputeRow0511Batch16.lean 7 declarations
ComputeRow0511Batch17.lean 7 declarations
ComputeRow0511Batch18.lean 7 declarations
ComputeRow0511Batch19.lean 7 declarations
ComputeRow0511Batch20.lean 7 declarations
ComputeRow0511Batch21.lean 7 declarations
ComputeRow0511Batch22.lean 7 declarations
ComputeRow0511Batch23.lean 7 declarations
ComputeRow0513Batch13.lean 7 declarations
ComputeRow0513Batch14.lean 7 declarations
ComputeRow0513Batch15.lean 7 declarations
ComputeRow0513Batch16.lean 7 declarations
ComputeRow0513Batch17.lean 7 declarations
ComputeRow0513Batch18.lean 7 declarations
ComputeRow0513Batch19.lean 7 declarations
ComputeRow0513Batch20.lean 7 declarations
ComputeRow0513Batch21.lean 7 declarations
ComputeRow0513Batch22.lean 7 declarations
ComputeRow0513Batch23.lean 7 declarations
ComputeRow0515Batch15.lean 7 declarations
ComputeRow0515Batch16.lean 7 declarations
ComputeRow0515Batch17.lean 7 declarations
ComputeRow0515Batch18.lean 7 declarations
ComputeRow0515Batch19.lean 7 declarations
ComputeRow0515Batch20.lean 7 declarations
ComputeRow0515Batch21.lean 7 declarations
ComputeRow0515Batch22.lean 7 declarations
ComputeRow0515Batch23.lean 7 declarations
ComputeRow0517Batch17.lean 7 declarations
ComputeRow0517Batch18.lean 7 declarations
ComputeRow0517Batch19.lean 7 declarations
ComputeRow0517Batch20.lean 7 declarations
ComputeRow0517Batch21.lean 7 declarations
ComputeRow0517Batch22.lean 7 declarations
ComputeRow0517Batch23.lean 7 declarations
ComputeRow0519Batch19.lean 7 declarations
ComputeRow0519Batch20.lean 7 declarations
ComputeRow0519Batch21.lean 7 declarations
ComputeRow0519Batch22.lean 7 declarations
ComputeRow0519Batch23.lean 7 declarations
ComputeRow0521Batch21.lean 7 declarations
ComputeRow0521Batch22.lean 7 declarations
ComputeRow0521Batch23.lean 7 declarations
ComputeRow0523Batch23.lean 7 declarations
ComputeRow0707Batch12.lean 7 declarations
ComputeRow0707Batch13.lean 7 declarations
ComputeRow0707Batch14.lean 7 declarations
ComputeRow0707Batch15.lean 7 declarations
ComputeRow0707Batch16.lean 7 declarations
ComputeRow0707Batch17.lean 7 declarations
ComputeRow0707Batch18.lean 7 declarations
ComputeRow0707Batch19.lean 7 declarations
ComputeRow0707Batch20.lean 7 declarations
ComputeRow0707Batch21.lean 7 declarations
ComputeRow0707Batch22.lean 7 declarations
ComputeRow0707Batch23.lean 7 declarations
ComputeRow0709Batch12.lean 7 declarations
ComputeRow0709Batch13.lean 7 declarations
ComputeRow0709Batch14.lean 7 declarations
ComputeRow0709Batch15.lean 7 declarations
ComputeRow0709Batch16.lean 7 declarations
ComputeRow0709Batch17.lean 7 declarations
ComputeRow0709Batch18.lean 7 declarations
ComputeRow0709Batch19.lean 7 declarations
ComputeRow0709Batch20.lean 7 declarations
ComputeRow0709Batch21.lean 7 declarations
ComputeRow0709Batch22.lean 7 declarations
ComputeRow0709Batch23.lean 7 declarations
ComputeRow0711Batch12.lean 7 declarations
ComputeRow0711Batch13.lean 7 declarations
ComputeRow0711Batch14.lean 7 declarations
ComputeRow0711Batch15.lean 7 declarations
ComputeRow0711Batch16.lean 7 declarations
ComputeRow0711Batch17.lean 7 declarations
ComputeRow0711Batch18.lean 7 declarations
ComputeRow0711Batch19.lean 7 declarations
ComputeRow0711Batch20.lean 7 declarations
ComputeRow0711Batch21.lean 7 declarations
ComputeRow0711Batch22.lean 7 declarations
ComputeRow0711Batch23.lean 7 declarations
ComputeRow0713Batch13.lean 7 declarations
ComputeRow0713Batch14.lean 7 declarations
ComputeRow0713Batch15.lean 7 declarations
ComputeRow0713Batch16.lean 7 declarations
ComputeRow0713Batch17.lean 7 declarations
ComputeRow0713Batch18.lean 7 declarations
ComputeRow0713Batch19.lean 7 declarations
ComputeRow0713Batch20.lean 7 declarations
ComputeRow0713Batch21.lean 7 declarations
ComputeRow0713Batch22.lean 7 declarations
ComputeRow0713Batch23.lean 7 declarations
ComputeRow0715Batch15.lean 7 declarations
ComputeRow0715Batch16.lean 7 declarations
ComputeRow0715Batch17.lean 7 declarations
ComputeRow0715Batch18.lean 7 declarations
ComputeRow0715Batch19.lean 7 declarations
ComputeRow0715Batch20.lean 7 declarations
ComputeRow0715Batch21.lean 7 declarations
ComputeRow0715Batch22.lean 7 declarations
ComputeRow0715Batch23.lean 7 declarations
ComputeRow0717Batch17.lean 7 declarations
ComputeRow0717Batch18.lean 7 declarations
ComputeRow0717Batch19.lean 7 declarations
ComputeRow0717Batch20.lean 7 declarations
ComputeRow0717Batch21.lean 7 declarations
ComputeRow0717Batch22.lean 7 declarations
ComputeRow0717Batch23.lean 7 declarations
ComputeRow0719Batch19.lean 7 declarations
ComputeRow0719Batch20.lean 7 declarations
ComputeRow0719Batch21.lean 7 declarations
ComputeRow0719Batch22.lean 7 declarations
ComputeRow0719Batch23.lean 7 declarations
ComputeRow0721Batch21.lean 7 declarations
ComputeRow0721Batch22.lean 7 declarations
ComputeRow0721Batch23.lean 7 declarations
ComputeRow0723Batch23.lean 7 declarations
ComputeRow09.lean 35 declarations
ComputeRow0909Batch12.lean 7 declarations
ComputeRow0909Batch13.lean 7 declarations
ComputeRow0909Batch14.lean 7 declarations
ComputeRow0909Batch15.lean 7 declarations
ComputeRow0909Batch16.lean 7 declarations
ComputeRow0909Batch17.lean 7 declarations
ComputeRow0909Batch18.lean 7 declarations
ComputeRow0909Batch19.lean 7 declarations
ComputeRow0909Batch20.lean 7 declarations
ComputeRow0909Batch21.lean 7 declarations
ComputeRow0909Batch22.lean 7 declarations
ComputeRow0909Batch23.lean 7 declarations
ComputeRow0911Batch12.lean 7 declarations
ComputeRow0911Batch13.lean 7 declarations
ComputeRow0911Batch14.lean 7 declarations
ComputeRow0911Batch15.lean 7 declarations
ComputeRow0911Batch16.lean 7 declarations
ComputeRow0911Batch17.lean 7 declarations
ComputeRow0911Batch18.lean 7 declarations
ComputeRow0911Batch19.lean 7 declarations
ComputeRow0911Batch20.lean 7 declarations
ComputeRow0911Batch21.lean 7 declarations
ComputeRow0911Batch22.lean 7 declarations
ComputeRow0911Batch23.lean 7 declarations
ComputeRow0913Batch13.lean 7 declarations
ComputeRow0913Batch14.lean 7 declarations
ComputeRow0913Batch15.lean 7 declarations
ComputeRow0913Batch16.lean 7 declarations
ComputeRow0913Batch17.lean 7 declarations
ComputeRow0913Batch18.lean 7 declarations
ComputeRow0913Batch19.lean 7 declarations
ComputeRow0913Batch20.lean 7 declarations
ComputeRow0913Batch21.lean 7 declarations
ComputeRow0913Batch22.lean 7 declarations
ComputeRow0913Batch23.lean 7 declarations
ComputeRow0915Batch15.lean 7 declarations
ComputeRow0915Batch16.lean 7 declarations
ComputeRow0915Batch17.lean 7 declarations
ComputeRow0915Batch18.lean 7 declarations
ComputeRow0915Batch19.lean 7 declarations
ComputeRow0915Batch20.lean 7 declarations
ComputeRow0915Batch21.lean 7 declarations
ComputeRow0915Batch22.lean 7 declarations
ComputeRow0915Batch23.lean 7 declarations
ComputeRow0917Batch17.lean 7 declarations
ComputeRow0917Batch18.lean 7 declarations
ComputeRow0917Batch19.lean 7 declarations
ComputeRow0917Batch20.lean 7 declarations
ComputeRow0917Batch21.lean 7 declarations
ComputeRow0917Batch22.lean 7 declarations
ComputeRow0917Batch23.lean 7 declarations
ComputeRow0919Batch19.lean 7 declarations
ComputeRow0919Batch20.lean 7 declarations
ComputeRow0919Batch21.lean 7 declarations
ComputeRow0919Batch22.lean 7 declarations
ComputeRow0919Batch23.lean 7 declarations
ComputeRow092.lean 35 declarations
ComputeRow0921Batch21.lean 7 declarations
ComputeRow0921Batch22.lean 7 declarations
ComputeRow0921Batch23.lean 7 declarations
ComputeRow0923Batch23.lean 7 declarations
ComputeRow093.lean 35 declarations
ComputeRow10.lean 35 declarations
ComputeRow102.lean 35 declarations
ComputeRow103.lean 35 declarations
ComputeRow11.lean 35 declarations
ComputeRow1111Batch12.lean 7 declarations
ComputeRow1111Batch13.lean 7 declarations
ComputeRow1111Batch14.lean 7 declarations
ComputeRow1111Batch15.lean 7 declarations
ComputeRow1111Batch16.lean 7 declarations
ComputeRow1111Batch17.lean 7 declarations
ComputeRow1111Batch18.lean 7 declarations
ComputeRow1111Batch19.lean 7 declarations
ComputeRow1111Batch20.lean 7 declarations
ComputeRow1111Batch21.lean 7 declarations
ComputeRow1111Batch22.lean 7 declarations
ComputeRow1111Batch23.lean 7 declarations
ComputeRow1113Batch13.lean 7 declarations
ComputeRow1113Batch14.lean 7 declarations
ComputeRow1113Batch15.lean 7 declarations
ComputeRow1113Batch16.lean 7 declarations
ComputeRow1113Batch17.lean 7 declarations
ComputeRow1113Batch18.lean 7 declarations
ComputeRow1113Batch19.lean 7 declarations
ComputeRow1113Batch20.lean 7 declarations
ComputeRow1113Batch21.lean 7 declarations
ComputeRow1113Batch22.lean 7 declarations
ComputeRow1113Batch23.lean 7 declarations
ComputeRow1115Batch15.lean 7 declarations
ComputeRow1115Batch16.lean 7 declarations
ComputeRow1115Batch17.lean 7 declarations
ComputeRow1115Batch18.lean 7 declarations
ComputeRow1115Batch19.lean 7 declarations
ComputeRow1115Batch20.lean 7 declarations
ComputeRow1115Batch21.lean 7 declarations
ComputeRow1115Batch22.lean 7 declarations
ComputeRow1115Batch23.lean 7 declarations
ComputeRow1117Batch17.lean 7 declarations
ComputeRow1117Batch18.lean 7 declarations
ComputeRow1117Batch19.lean 7 declarations
ComputeRow1117Batch20.lean 7 declarations
ComputeRow1117Batch21.lean 7 declarations
ComputeRow1117Batch22.lean 7 declarations
ComputeRow1117Batch23.lean 7 declarations
ComputeRow1119Batch19.lean 7 declarations
ComputeRow1119Batch20.lean 7 declarations
ComputeRow1119Batch21.lean 7 declarations
ComputeRow1119Batch22.lean 7 declarations
ComputeRow1119Batch23.lean 7 declarations
ComputeRow112.lean 35 declarations
ComputeRow1121Batch21.lean 7 declarations
ComputeRow1121Batch22.lean 7 declarations
ComputeRow1121Batch23.lean 7 declarations
ComputeRow1123Batch23.lean 7 declarations
ComputeRow113.lean 35 declarations
ComputeRow114.lean 35 declarations
ComputeRow115.lean 7 declarations
ComputeRow1313Batch13.lean 7 declarations
ComputeRow1313Batch14.lean 7 declarations
ComputeRow1313Batch15.lean 7 declarations
ComputeRow1313Batch16.lean 7 declarations
ComputeRow1313Batch17.lean 7 declarations
ComputeRow1313Batch18.lean 7 declarations
ComputeRow1313Batch19.lean 7 declarations
ComputeRow1313Batch20.lean 7 declarations
ComputeRow1313Batch21.lean 7 declarations
ComputeRow1313Batch22.lean 7 declarations
ComputeRow1313Batch23.lean 7 declarations
ComputeRow1315Batch15.lean 7 declarations
ComputeRow1315Batch16.lean 7 declarations
ComputeRow1315Batch17.lean 7 declarations
ComputeRow1315Batch18.lean 7 declarations
ComputeRow1315Batch19.lean 7 declarations
ComputeRow1315Batch20.lean 7 declarations
ComputeRow1315Batch21.lean 7 declarations
ComputeRow1315Batch22.lean 7 declarations
ComputeRow1315Batch23.lean 7 declarations
ComputeRow1317Batch17.lean 7 declarations
ComputeRow1317Batch18.lean 7 declarations
ComputeRow1317Batch19.lean 7 declarations
ComputeRow1317Batch20.lean 7 declarations
ComputeRow1317Batch21.lean 7 declarations
ComputeRow1317Batch22.lean 7 declarations
ComputeRow1317Batch23.lean 7 declarations
ComputeRow1319Batch19.lean 7 declarations
ComputeRow1319Batch20.lean 7 declarations
ComputeRow1319Batch21.lean 7 declarations
ComputeRow1319Batch22.lean 7 declarations
ComputeRow1319Batch23.lean 7 declarations
ComputeRow1321Batch21.lean 7 declarations
ComputeRow1321Batch22.lean 7 declarations
ComputeRow1321Batch23.lean 7 declarations
ComputeRow1323Batch23.lean 7 declarations
ComputeRow1515Batch15.lean 7 declarations
ComputeRow1515Batch16.lean 7 declarations
ComputeRow1515Batch17.lean 7 declarations
ComputeRow1515Batch18.lean 7 declarations
ComputeRow1515Batch19.lean 7 declarations
ComputeRow1515Batch20.lean 7 declarations
ComputeRow1515Batch21.lean 7 declarations
ComputeRow1515Batch22.lean 7 declarations
ComputeRow1515Batch23.lean 7 declarations
ComputeRow1517Batch17.lean 7 declarations
ComputeRow1517Batch18.lean 7 declarations
ComputeRow1517Batch19.lean 7 declarations
ComputeRow1517Batch20.lean 7 declarations
ComputeRow1517Batch21.lean 7 declarations
ComputeRow1517Batch22.lean 7 declarations
ComputeRow1517Batch23.lean 7 declarations
ComputeRow1519Batch19.lean 7 declarations
ComputeRow1519Batch20.lean 7 declarations
ComputeRow1519Batch21.lean 7 declarations
ComputeRow1519Batch22.lean 7 declarations
ComputeRow1519Batch23.lean 7 declarations
ComputeRow1521Batch21.lean 7 declarations
ComputeRow1521Batch22.lean 7 declarations
ComputeRow1521Batch23.lean 7 declarations
ComputeRow1523Batch23.lean 7 declarations
ComputeRow1717Batch17.lean 7 declarations
ComputeRow1717Batch18.lean 7 declarations
ComputeRow1717Batch19.lean 7 declarations
ComputeRow1717Batch20.lean 7 declarations
ComputeRow1717Batch21.lean 7 declarations
ComputeRow1717Batch22.lean 7 declarations
ComputeRow1717Batch23.lean 7 declarations
ComputeRow1719Batch19.lean 7 declarations
ComputeRow1719Batch20.lean 7 declarations
ComputeRow1719Batch21.lean 7 declarations
ComputeRow1719Batch22.lean 7 declarations
ComputeRow1719Batch23.lean 7 declarations
ComputeRow1721Batch21.lean 7 declarations
ComputeRow1721Batch22.lean 7 declarations
ComputeRow1721Batch23.lean 7 declarations
ComputeRow1723Batch23.lean 7 declarations
ComputeRow1919Batch19.lean 7 declarations
ComputeRow1919Batch20.lean 7 declarations
ComputeRow1919Batch21.lean 7 declarations
ComputeRow1919Batch22.lean 7 declarations
ComputeRow1919Batch23.lean 7 declarations
ComputeRow1921Batch21.lean 7 declarations
ComputeRow1921Batch22.lean 7 declarations
ComputeRow1921Batch23.lean 7 declarations
ComputeRow1923Batch23.lean 7 declarations
ComputeRow2121Batch21.lean 7 declarations
ComputeRow2121Batch22.lean 7 declarations
ComputeRow2121Batch23.lean 7 declarations
ComputeRow2123Batch23.lean 7 declarations
ComputeRow2323Batch23.lean 7 declarations
Data09.lean 4 declarations
Data10.lean 4 declarations
Data11.lean 4 declarations
Data12.lean 4 declarations
Data13.lean 4 declarations
Data14.lean 4 declarations
Data15.lean 4 declarations
Data16.lean 4 declarations
Data17.lean 4 declarations
Data18.lean 4 declarations
Data19.lean 4 declarations
Data20.lean 4 declarations
Data21.lean 4 declarations
Data22.lean 4 declarations
Data23.lean 4 declarations
Error05.lean 10 declarations
Error07.lean 17 declarations
Error08.lean 17 declarations
Gram07.lean 1 declarations
Gram072.lean 16 declarations
Gram08.lean 1 declarations
Gram082.lean 10 declarations
GramData09.lean 52 declarations
GramData10.lean 52 declarations
GramData11.lean 74 declarations
GramData12.lean 74 declarations
GramData13.lean 100 declarations
GramData14.lean 100 declarations
GramData15.lean 130 declarations
GramData16.lean 130 declarations
GramData17.lean 164 declarations
GramData18.lean 164 declarations
GramData19.lean 202 declarations
GramData20.lean 202 declarations
GramData21.lean 244 declarations
GramData22.lean 244 declarations
GramData23.lean 290 declarations
LDL08.lean 16 declarations
LDLData08.lean 2 declarations
LDLData09.lean 1 declarations
LDLData10.lean 1 declarations
LDLData11.lean 1 declarations
LDLData12.lean 1 declarations
LDLData13.lean 1 declarations
LDLData14.lean 1 declarations
LDLData15.lean 1 declarations
LDLData16.lean 1 declarations
LDLData17.lean 1 declarations
LDLData18.lean 1 declarations
LDLData19.lean 1 declarations
LDLData20.lean 1 declarations
LDLData21.lean 1 declarations
LDLData22.lean 1 declarations
LDLData23.lean 1 declarations
Positive05.lean 4 declarations
Positive07.lean 4 declarations
Positive08.lean 2 declarations
Positive09.lean 2 declarations
Positive10.lean 2 declarations
Positive11.lean 2 declarations
Positive12.lean 2 declarations
Positive13.lean 2 declarations
Positive14.lean 2 declarations
Positive15.lean 2 declarations
Positive16.lean 2 declarations
Positive17.lean 2 declarations
Positive18.lean 2 declarations
Positive19.lean 2 declarations
Positive20.lean 2 declarations
Positive21.lean 2 declarations
Positive22.lean 2 declarations
Positive23.lean 2 declarations
Quadruples08.lean 1 declarations
Row0301007.lean 1 declarations
Row0301107.lean 1 declarations
Row0301207.lean 1 declarations
Row0301307.lean 1 declarations
Row0301407.lean 1 declarations
Row0301507.lean 1 declarations
Row0301607.lean 1 declarations
Row05.lean 38 declarations
Row0501007.lean 1 declarations
Row0501107.lean 1 declarations
Row0501207.lean 1 declarations
Row0501307.lean 1 declarations
Row0501407.lean 1 declarations
Row0501507.lean 1 declarations
Row0501607.lean 1 declarations
Row0503007.lean 1 declarations
Row0503107.lean 1 declarations
Row0503207.lean 1 declarations
Row0503307.lean 1 declarations
Row0503407.lean 1 declarations
Row0503507.lean 1 declarations
Row0503607.lean 1 declarations
Row052.lean 25 declarations
Row07.lean 25 declarations
Row0701007.lean 1 declarations
Row0701107.lean 1 declarations
Row0701207.lean 1 declarations
Row0701307.lean 1 declarations
Row0701407.lean 1 declarations
Row0701507.lean 1 declarations
Row0701607.lean 1 declarations
Row0703007.lean 1 declarations
Row0703107.lean 1 declarations
Row0703207.lean 1 declarations
Row0703307.lean 1 declarations
Row0703407.lean 1 declarations
Row0703507.lean 1 declarations
Row0703607.lean 1 declarations
Row0705007.lean 1 declarations
Row0705107.lean 1 declarations
Row0705207.lean 1 declarations
Row0705307.lean 1 declarations
Row0705407.lean 1 declarations
Row0705507.lean 1 declarations
Row0705607.lean 1 declarations
Row072.lean 35 declarations
Row073.lean 10 declarations
Row08.lean 25 declarations
Row082.lean 28 declarations
Row083.lean 17 declarations