Theorem CauchyFilter.cauchyFilter_eq
Modification history
2024-03-10 19:38
Mathlib/Topology/UniformSpace/Completion.lean
refactor(UniformSpace): drop `separationRel` (#10644) …
Modified CauchyFilter.cauchyFilter_eqView on Github →2024-02-27 23:07
Mathlib/Topology/UniformSpace/Completion.lean
chore(Cauchy): drop `Nonempty`/`Inhabited` assumptions (#10871) …
Modified CauchyFilter.cauchyFilter_eqView on Github →