OAI/Topology/ArtinGroups/Harmonic/PrismSimplexZero.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.prismSimplex_zero line 13
2. lemma OAI.HarmonicArtin.prismSimplex_one line 32
3. lemma OAI.HarmonicArtin.nervePrism_zero_face line 52
4. lemma OAI.HarmonicArtin.nervePrism_one_face line 67
5. lemma OAI.HarmonicArtin.nervePrismSimplex_zero line 81
6. lemma OAI.HarmonicArtin.nervePrismSimplex_one line 97
7. lemma OAI.HarmonicArtin.realizeSimplex_map line 118