OAI/Probability/LatticeSurface/Dynamics/CompactOverlap.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Overlap.kernel line 20
  2. def OAI.Overlap.shifts line 22
  3. def OAI.Overlap.overlap line 25
  4. lemma OAI.Overlap.compact_shifts line 28
  5. lemma OAI.Overlap.usc_kernel line 32
  6. lemma OAI.Overlap.usc_overlap line 37
  7. lemma OAI.Overlap.overlap_nonneg line 42
  8. lemma OAI.Overlap.overlap_le line 46
  9. lemma OAI.Overlap.kernel_le_overlap line 54
  10. lemma OAI.Overlap.midpoint_norms line 62
  11. lemma OAI.Overlap.kernel_support line 73
  12. lemma OAI.Overlap.overlap_support line 84
  13. lemma OAI.Overlap.kernel_le_overlap_all line 94
  14. lemma OAI.Overlap.overlap_eq_sup line 102