Theorem totallyBounded_sUnion

Modification history

2024-07-14 15:55

Mathlib/Topology/UniformSpace/Cauchy.lean

feat(UniformSpace/Cauchy): add lemmas about `TotallyBounded` (#13451)

Added totallyBounded_sUnion View on Github →