OAI/Geometry/Borsuk/Simplicial/SubdivSimplex.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BorsukNine.SimplicialChains.subdivSimplex line 10
2. lemma OAI.BorsukNine.SimplicialChains.subdivSimplex_empty line 19
3. lemma OAI.BorsukNine.SimplicialChains.subdivSimplex_one line 22
4. lemma OAI.BorsukNine.SimplicialChains.subdivSimplex_many line 27
5. def OAI.BorsukNine.SimplicialChains.vertexCarrier line 33
6. lemma OAI.BorsukNine.SimplicialChains.vertexCarrier_mono line 37
7. lemma OAI.BorsukNine.SimplicialChains.center_mem_carrier line 43
8. lemma OAI.BorsukNine.SimplicialChains.support_sum_chains line 46
9. lemma OAI.BorsukNine.SimplicialChains.subdivSimplex_carrier line 57