OAI/Geometry/Borsuk/FiniteCases/
4095 declarations, 0 contain sorry, 0 declared as axioms; 145 files
Files
- Cases001.lean 51 declarations
- Cases002.lean 41 declarations
- Cases003.lean 39 declarations
- Cases004.lean 36 declarations
- Cases005.lean 32 declarations
- Cases006.lean 43 declarations
- Cases007.lean 42 declarations
- Cases008.lean 43 declarations
- Cases009.lean 43 declarations
- Cases010.lean 39 declarations
- Cases011.lean 39 declarations
- Cases012.lean 43 declarations
- Cases013.lean 39 declarations
- Cases014.lean 38 declarations
- Cases015.lean 36 declarations
- Cases016.lean 34 declarations
- Cases017.lean 32 declarations
- Cases018.lean 38 declarations
- Cases019.lean 38 declarations
- Cases020.lean 39 declarations
- Cases021.lean 45 declarations
- Cases022.lean 42 declarations
- Cases023.lean 45 declarations
- Cases024.lean 48 declarations
- Cases025.lean 47 declarations
- Cases026.lean 46 declarations
- Cases027.lean 46 declarations
- Cases028.lean 46 declarations
- Cases029.lean 49 declarations
- Cases030.lean 46 declarations
- Cases031.lean 45 declarations
- Cases032.lean 46 declarations
- Cases033.lean 45 declarations
- Cases034.lean 46 declarations
- Cases035.lean 48 declarations
- Cases036.lean 48 declarations
- Cases037.lean 46 declarations
- Cases038.lean 46 declarations
- Cases039.lean 45 declarations
- Cases040.lean 46 declarations
- Cases041.lean 45 declarations
- Cases042.lean 46 declarations
- Cases043.lean 44 declarations
- Cases044.lean 49 declarations
- Cases045.lean 47 declarations
- Cases046.lean 46 declarations
- Cases047.lean 45 declarations
- Cases048.lean 46 declarations
- Cases049.lean 46 declarations
- Cases050.lean 46 declarations
- Cases051.lean 46 declarations
- Cases052.lean 49 declarations
- Cases053.lean 46 declarations
- Cases054.lean 45 declarations
- Cases055.lean 47 declarations
- Cases056.lean 46 declarations
- Cases057.lean 47 declarations
- Cases058.lean 46 declarations
- Cases059.lean 47 declarations
- Cases060.lean 45 declarations
- Cases061.lean 45 declarations
- Cases062.lean 45 declarations
- Cases063.lean 46 declarations
- Cases064.lean 45 declarations
- Cases065.lean 46 declarations
- Cases066.lean 46 declarations
- Cases067.lean 46 declarations
- Cases068.lean 45 declarations
- Cases069.lean 47 declarations
- Cases070.lean 47 declarations
- Cases071.lean 45 declarations
- Cases072.lean 46 declarations
- Cases073.lean 47 declarations
- Cases074.lean 47 declarations
- Cases075.lean 42 declarations
- Cases076.lean 42 declarations
- Cases077.lean 16 declarations
- Cases078.lean 7 declarations
- Cases079.lean 7 declarations
- Cases080.lean 4 declarations
- Cases081.lean 5 declarations
- Cases082.lean 8 declarations
- Cases083.lean 6 declarations
- Cases084.lean 11 declarations
- Cases085.lean 6 declarations
- Cases086.lean 14 declarations
- Cases087.lean 13 declarations
- Cases088.lean 8 declarations
- Cases089.lean 7 declarations
- Cases090.lean 9 declarations
- Cases091.lean 5 declarations
- Cases092.lean 12 declarations
- Cases093.lean 7 declarations
- Cases094.lean 6 declarations
- Cases095.lean 6 declarations
- Cases096.lean 4 declarations
- Cases097.lean 3 declarations
- Cases098.lean 8 declarations
- Cases099.lean 4 declarations
- Cases100.lean 7 declarations
- Cases101.lean 5 declarations
- Cases102.lean 6 declarations
- Cases103.lean 30 declarations
- Cases104.lean 41 declarations
- Cases105.lean 47 declarations
- Cases106.lean 47 declarations
- Cases107.lean 47 declarations
- Cases108.lean 47 declarations
- Cases109.lean 44 declarations
- Cases110.lean 4 declarations
- Cases111.lean 4 declarations
- Cases112.lean 5 declarations
- Cases113.lean 11 declarations
- Cases114.lean 6 declarations
- Cases115.lean 6 declarations
- Cases116.lean 8 declarations
- Cases117.lean 7 declarations
- Cases118.lean 7 declarations
- Cases119.lean 8 declarations
- Cases120.lean 13 declarations
- Cases121.lean 7 declarations
- Cases122.lean 4 declarations
- Cases123.lean 7 declarations
- Cases124.lean 5 declarations
- Cases125.lean 7 declarations
- Cases126.lean 4 declarations
- Cases127.lean 7 declarations
- Cases128.lean 5 declarations
- Cases129.lean 6 declarations
- Cases130.lean 4 declarations
- Cases131.lean 4 declarations
- Cases132.lean 4 declarations
- Cases133.lean 4 declarations
- Cases134.lean 6 declarations
- Cases135.lean 5 declarations
- Cases136.lean 10 declarations
- Cases137.lean 6 declarations
- Cases138.lean 7 declarations
- Cases139.lean 4 declarations
- Cases140.lean 8 declarations
- Cases141.lean 7 declarations
- Cases142.lean 6 declarations
- Cases143.lean 10 declarations
- Cases144.lean 17 declarations
- Cases145.lean 8 declarations