mathlib3
diameter of a set in metric spaces
#651
Merged
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
sgouezel
sgouezel diameter of a set in metric spaces
fa9a654b
sgouezel doc
8b17f975
johoelzl johoelzl merged 626489ad into master 7 years ago
sgouezel 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
Terms Of Use Privacy Policy Refund Policy Impressum