mathlib3
29452afe
- typo
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
typo
References
bottine/topology.metric_space.path_metric_second_go
#18375 - feat(topology/metric_space/path_metric): Definition of the path metric on a metric space and proof of its idempotency
Author
bottine
Parents
bfbb7480
Loading
