mathlib3
c30b11aa - commit just to get the CI to build mathlib for me

Commit

3 years ago

commit just to get the CI to build mathlib for me

References

#18375 - feat(topology/metric_space/path_metric): Definition of the path metric on a metric space and proof of its idempotency

Author

bottine

bottine

Parents

Loading