Mathlib v3 is deprecated. Go to Mathlib v4

Theorem assoc_comp_rel

Modification history

2018-08-15 15:47

analysis/topology/uniform_space.lean

refactor(topology/uniform_space): proof simplification / extension

Deleted assoc_comp_rel 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 assoc_comp_rel View on Github →