Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lebesgue_entourage_lemma

Modification history

2018-08-15 15:47

analysis/topology/uniform_space.lean

refactor(topology/uniform_space): proof simplification / extension

Deleted lebesgue_entourage_lemma View on Github →

2018-08-15 10:16

analysis/topology/uniform_space.lean

feat(analysis/metric_space): Lebesgue number lemma for uniform spaces and metric spaces (#237)

Added lebesgue_entourage_lemma View on Github →