mathlib
e7bd3caa - docs(overview): Add some recent work by Yury (#7378)

Commit

4 years ago

docs(overview): Add some recent work by Yury (#7378) Hausdorff measure and Urysohn's lemma

Author

PatrickMassot

Parents