borel_space): drop a countability assumption (#12954)

Commit

3 years ago

feat(measure_theory/constructions/borel_space): drop a countability assumption (#12954)

Author

sgouezel

Parents