baire): generalize some lemmas (#14633)

Commit

3 years ago

feat(topology/metric_space/baire): generalize some lemmas (#14633) Add `is_Gδ.dense_{s,b,}Union_interior_of_closed`.

Author

urkud

Parents