Theorem CauchySeq.nonempty

Modification history

2023-11-11 08:27

Mathlib/Topology/UniformSpace/Cauchy.lean

chore: generalize CauchySeq to Preorder (#8339)

Modified CauchySeq.nonempty View on Github →

2023-02-03 08:41

Mathlib/Topology/UniformSpace/Cauchy.lean

feat: port Topology.UniformSpace.Cauchy (#2007)

Added CauchySeq.nonempty View on Github →