mathlib
8eba262b - feat(topology/metric_space/basic): union of balls `ball x n`, `n : ℕ` (#8792)

Commit

4 years ago

feat(topology/metric_space/basic): union of balls `ball x n`, `n : ℕ` (#8792)

Author

urkud

urkud

Parents

Loading