OAI/Analysis/LipschitzEquivalence/CompactSupports.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.LipschitzCounterexample.FreeSpace.near_isClosed line 20
  2. theorem OAI.LipschitzCounterexample.FreeSpace.nested_finite_cover_compact line 28
  3. theorem OAI.LipschitzCounterexample.FreeSpace.nested_finite_cover_range line 43
  4. theorem OAI.LipschitzCounterexample.FreeSpace.nested_finite_cover_uniform line 63
  5. theorem OAI.LipschitzCounterexample.FreeSpace.test_tendsto_of_pointwise line 90
  6. theorem OAI.LipschitzCounterexample.FreeSpace.mem_supported_of_annihilating line 130
  7. def OAI.LipschitzCounterexample.FreeSpace.clip line 153
  8. theorem OAI.LipschitzCounterexample.FreeSpace.clip_lipschitz line 155
  9. theorem OAI.LipschitzCounterexample.FreeSpace.clip_zero line 165
  10. theorem OAI.LipschitzCounterexample.FreeSpace.clip_tendsto line 169
  11. theorem OAI.LipschitzCounterexample.FreeSpace.supported_intersection_of_uniform line 178