Theorem CauchyFilter.nonempty_cauchyFilter_iff

Modification history

2023-02-22 19:59
Mathlib/Topology/UniformSpace/Completion.lean
chore: tidy various files (#2446)
Added CauchyFilter.nonempty_cauchyFilter_iffView on Github →