OAI/Geometry/Borsuk/Simplicial/Supports.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BorsukNine.SimplicialChains.supportComplex line 12
2. lemma OAI.BorsukNine.SimplicialChains.annulus_ne_zero line 20
3. lemma OAI.BorsukNine.SimplicialChains.maxIndex_partition_large line 27
4. def OAI.BorsukNine.SimplicialChains.supportLabel line 36
5. lemma OAI.BorsukNine.SimplicialChains.supportLabel_even line 40
6. lemma OAI.BorsukNine.SimplicialChains.exists_fine_supportLabel line 48
7. lemma OAI.BorsukNine.SimplicialChains.even_partition_support_cycle line 80