OAI/Topology/ArtinGroups/Realizations/NervePrismValue.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.prismPrefix_mono line 13
2. lemma OAI.HarmonicArtin.prismRight_mono line 17
3. lemma OAI.HarmonicArtin.prismCell_between line 22
4. lemma OAI.HarmonicArtin.nervePrismPatch_adjacent line 26
5. lemma OAI.HarmonicArtin.nervePrismPatch_agree line 43
6. def OAI.HarmonicArtin.nervePrismValue line 72
7. lemma OAI.HarmonicArtin.nervePrismValue_eq line 77
8. def OAI.HarmonicArtin.nervePrismSimplex line 83
9. lemma OAI.HarmonicArtin.nervePrismSimplex_natural line 95