Theorem TendstoUniformlyOnFilter.uniformCauchySeqOnFilter

Modification history

2023-02-04 18:05

Mathlib/Topology/UniformSpace/UniformConvergence.lean

feat: port Topology.UniformSpace.UniformConvergence (#2051)

Added TendstoUniformlyOnFilter.uniformCauchySeqOnFilter View on Github →