OAI/Geometry/SingularHomology/FiniteGoodCoverHomology.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem340.FiniteGoodCover.FiniteHomology line 13
2. lemma OAI.Problem340.FiniteGoodCover.finiteDimensional_of_exact line 17
3. lemma OAI.Problem340.FiniteGoodCover.isZero_of_exact line 27
4. lemma OAI.Problem340.FiniteGoodCover.finiteHomology_of_iso line 39
5. lemma OAI.Problem340.FiniteGoodCover.finiteHomology_biprod line 52
6. lemma OAI.Problem340.FiniteGoodCover.finiteHomology_of_shortExact line 70
7. lemma OAI.Problem340.FiniteGoodCover.finiteHomology_of_quasiIso line 98
8. lemma OAI.Problem340.FiniteGoodCover.finiteHomology_of_finite_simplicial line 109
9. theorem OAI.Problem340.FiniteGoodCover.property_sup_of_inf line 116