Theorem UniformCauchySeqOn.prod'

Modification history

2023-08-10 19:52

Mathlib/Topology/UniformSpace/UniformConvergence.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified UniformCauchySeqOn.prod'View on Github →

2023-02-04 18:05

Mathlib/Topology/UniformSpace/UniformConvergence.lean

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

Added UniformCauchySeqOn.prod'View on Github →