Theorem cauchy_iInf_uniformSpace'

Modification history

2023-08-21 11:54
Mathlib/Topology/UniformSpace/Cauchy.lean
feat: behavior of `Cauchy` under operations on `UniformSpace` (#6694) …
Added cauchy_iInf_uniformSpace'View on Github →