mathlib
0dd81c1e - chore(topology/urysohns_lemma): use bundled `C(X, ℝ)` (#8402)

Commit

4 years ago

chore(topology/urysohns_lemma): use bundled `C(X, ℝ)` (#8402)

Author

urkud

urkud

Parents

Loading