OAI/Probability/StrongRayleigh/CountableProjectiveReindex.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem336AdditiveD139.CountableProjectiveReindex.imageEquiv line 15
2. lemma OAI.Problem336AdditiveD139.CountableProjectiveReindex.imageEquiv_apply_val line 18
3. lemma OAI.Problem336AdditiveD139.CountableProjectiveReindex.imageEquiv_symm_apply_val line 21
4. def OAI.Problem336AdditiveD139.CountableProjectiveReindex.coordinatePullback line 28
5. def OAI.Problem336AdditiveD139.CountableProjectiveReindex.finitePullback line 36
6. def OAI.Problem336AdditiveD139.CountableProjectiveReindex.reindexFamily line 40
7. lemma OAI.Problem336AdditiveD139.CountableProjectiveReindex.reindexFamily_projective line 45
8. lemma OAI.Problem336AdditiveD139.CountableProjectiveReindex.projectiveLimit_reindex line 66
9. lemma OAI.Problem336AdditiveD139.CountableProjectiveReindex.finite_projective_exists line 92
10. lemma OAI.Problem336AdditiveD139.CountableProjectiveReindex.countable_projective_exists_of_nat line 108