Theorem UniformSpace.ball_inter_right

Modification history

2025-02-10 19:51

Mathlib/Topology/UniformSpace/Basic.lean

chore(Topology/UniformSpace): split into `Defs` and `Basic` (#21664) …

Modified UniformSpace.ball_inter_right View on Github →

2024-08-31 14:29

Mathlib/Topology/UniformSpace/Basic.lean

chore: Namespace `UniformSpace.ball` API (#16113) …

Added UniformSpace.ball_inter_right View on Github →