Theorem Set.Finite.totallyBounded

Modification history

2024-07-14 15:55

Mathlib/Topology/UniformSpace/Cauchy.lean

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

Added Set.Finite.totallyBounded View on Github →