OAI/Geometry/Borsuk/FiniteCases/Cases085.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31303 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c31304 line 143
3. theorem OAI.BorsukNine.FiniteObstruction.c31305 line 191
4. theorem OAI.BorsukNine.FiniteObstruction.c31306 line 317
5. theorem OAI.BorsukNine.FiniteObstruction.c31307 line 389
6. theorem OAI.BorsukNine.FiniteObstruction.c31308 line 407