OAI/Geometry/Borsuk/Simplicial/ContigSimplexBoundary.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BorsukNine.SimplicialChains.contigSimplex_boundary line 11
2. def OAI.BorsukNine.SimplicialChains.contigMap line 63
3. lemma OAI.BorsukNine.SimplicialChains.contigMap_simplex line 67
4. lemma OAI.BorsukNine.SimplicialChains.contigMap_simplex_subset line 72
5. lemma OAI.BorsukNine.SimplicialChains.contigMap_degree line 80
6. lemma OAI.BorsukNine.SimplicialChains.contigMap_boundary_of_support line 88
7. lemma OAI.BorsukNine.SimplicialChains.contig_maps_agree_top line 107