OAI/Geometry/RuledCovering/SingularOverlap.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RuledApproximation.ceiling_nonneg line 12
2. lemma OAI.RuledApproximation.ceiling_P_identity line 18
3. lemma OAI.RuledApproximation.singular_region_estimates line 24
4. lemma OAI.RuledApproximation.abs_unit_mul_le line 97
5. lemma OAI.RuledApproximation.singular_overlap_algebra line 102
6. lemma OAI.RuledApproximation.singular_overlap_small line 202
7. lemma OAI.RuledApproximation.right_rpow_tendsto_zero line 231
8. lemma OAI.RuledApproximation.overlap_error_eventually line 237