OAI/Geometry/Borsuk/Simplicial/Refinement.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BorsukNine.SimplicialChains.refinement line 12
2. lemma OAI.BorsukNine.SimplicialChains.refinement_boundary line 19
3. lemma OAI.BorsukNine.SimplicialChains.refinement_augmentation line 28
4. lemma OAI.BorsukNine.SimplicialChains.refinement_norm line 37
5. lemma OAI.BorsukNine.SimplicialChains.refinement_degree line 47
6. lemma OAI.BorsukNine.SimplicialChains.refinement_mesh line 59
7. lemma OAI.BorsukNine.SimplicialChains.hemisphere_mesh_two line 83
8. lemma OAI.BorsukNine.SimplicialChains.refinement_mesh_uniform line 90