OAI/Geometry/CAT0Fillings/Compactness/Tails.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.JointBV.totallyBounded_range_of_finite_coordinate_control line 11
2. def OAI.CAT0Fillings.JointBV.indexTail line 61
3. lemma OAI.CAT0Fillings.JointBV.measurable_indexTail line 64
4. lemma OAI.CAT0Fillings.JointBV.indexTail_bound line 68
5. lemma OAI.CAT0Fillings.JointBV.memLp_indexTail line 72
6. lemma OAI.CAT0Fillings.JointBV.lpNorm_indexTail line 77
7. lemma OAI.CAT0Fillings.JointBV.tendsto_lpNorm_indexTail line 87