Def IsAbsoluteValue.uniformSpace

Modification history

2023-02-28 04:45

Mathlib/Topology/UniformSpace/AbsoluteValue.lean

feat: define `UniformSpace.ofFun` (#2511) …

Deleted IsAbsoluteValue.uniformSpace View on Github →

2023-02-04 09:44

Mathlib/Topology/UniformSpace/AbsoluteValue.lean

feat: Port Topology.UniformSpace.AbsoluteValue (#2044)

Added IsAbsoluteValue.uniformSpace View on Github →