mathlib3
diameter of a set in metric spaces
#651
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
2
Changes
View On
GitHub
diameter of a set in metric spaces
#651
johoelzl
merged 2 commits into
leanprover-community:master
from
sgouezel:diam
diameter of a set in metric spaces
fa9a654b
doc
8b17f975
johoelzl
merged
626489ad
into master
7 years ago
sgouezel
deleted the diam branch
7 years ago
Login to write a write a comment.
Login via GitHub
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub