OAI/Analysis/LipschitzEquivalence/CauchyApproximation.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.LipschitzCounterexample.FreeSpace.uniform_radius_approx_cauchy line 20
2. theorem OAI.LipschitzCounterexample.FreeSpace.uniform_finite_neighborhood_approx_cauchy line 68
3. theorem OAI.LipschitzCounterexample.FreeSpace.bounded_cauchy_approx line 112