Theorem CauchySeq.inv

Modification history

2023-11-11 08:27

Mathlib/Topology/Algebra/UniformGroup.lean

chore: generalize CauchySeq to Preorder (#8339)

Modified CauchySeq.inv View on Github →

2023-08-10 19:52

Mathlib/Topology/Algebra/UniformGroup.lean

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

Modified CauchySeq.inv View on Github →

2023-02-27 13:07

Mathlib/Topology/Algebra/UniformGroup.lean

feat: port Topology.Algebra.UniformGroup (#2480)

Added CauchySeq.inv View on Github →