mathlib
ed250f7b - feat(topology/[path_]connected): add random [path-]connectedness lemmas (#10932)

Commit

4 years ago

feat(topology/[path_]connected): add random [path-]connectedness lemmas (#10932) From sphere-eversion

Author

ADedecker

Parents