OAI/Geometry/KahlerSplitting/PathLifts.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.UniversalCoverSplitting.cover_path_axes line 14
2. lemma OAI.UniversalCoverSplitting.FirstGerm.GlobalProjection.fixed_path_horizontal line 56
3. lemma OAI.UniversalCoverSplitting.FirstGerm.GlobalProjection.horizontal_lift line 98
4. lemma OAI.UniversalCoverSplitting.ProductRetracts.pair_path_lift line 131
5. lemma OAI.UniversalCoverSplitting.simplyConnected_product line 166