OAI/Geometry/Borsuk/SmithTheory/CharacteristicCochains.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BorsukNine.SmithTheory.SmithCocycle line 12
2. def OAI.BorsukNine.SmithTheory.smithLift line 18
3. lemma OAI.BorsukNine.SmithTheory.smithLift_comp_norm line 22
4. def OAI.BorsukNine.SmithTheory.smithNext line 26
5. def OAI.BorsukNine.SmithTheory.smithCochain line 35
6. def OAI.BorsukNine.SmithTheory.smithDegree line 41
7. lemma OAI.BorsukNine.SmithTheory.smithDegree_norm line 46
8. lemma OAI.BorsukNine.SmithTheory.smithCochain_succ line 52
9. lemma OAI.BorsukNine.SmithTheory.smithDegree_natural line 59