Theorem totallyBounded_sSup

Modification history

2026-01-13 23:44

Mathlib/Topology/UniformSpace/Cauchy.lean

feat(Topology/UniformSpace): generalize `TotallyBounded` to filters (#33128) …

Added totallyBounded_sSup View on Github →