OAI/Topology/ArtinGroups/Harmonic/PrismGrid.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.prismGrid line 10
2. lemma OAI.HarmonicArtin.prismGrid_apply line 21
3. def OAI.HarmonicArtin.orderCylinder line 24
4. def OAI.HarmonicArtin.nervePrism line 36
5. def OAI.HarmonicArtin.prismOrdinal line 41
6. lemma OAI.HarmonicArtin.prismGrid_natural line 55
7. lemma OAI.HarmonicArtin.nervePrism_natural line 87