mathlib3
00e9e90a - feat(topology/urysohns_bounded): +2 versions of Urysohn's lemma (#10479)

Commit

4 years ago

feat(topology/urysohns_bounded): +2 versions of Urysohn's lemma (#10479)

Author

urkud

urkud

Parents

Loading