OAI/Geometry/SingularHomology/HomologyEmpty.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.realSingularHomology_subsingleton_of_isEmpty line 12
2. theorem OAI.Problem340.isZero_realSingularHomology_of_isEmpty line 28
3. theorem OAI.Problem340.finiteDimensional_realSingularHomology_of_isEmpty line 34
4. theorem OAI.Problem340.finiteDimensional_realSingularHomology_of_contractible line 40
5. theorem OAI.Problem340.realSingularHomology_finiteType_of_empty_or_contractible line 49
6. theorem OAI.Problem340.realSingularHomologyZero_subsingleton_iff_isEmpty line 63