Commit 2020-06-23 08:40 421ed703
View on Github →chore(topology/metric_space/baire): review (#3146)
- Simplify some proofs in
topology/metric_space/baire
; - Allow dependency on
hi : i ∈ S
in somebUnion
/bInter
lemmas.
chore(topology/metric_space/baire): review (#3146)
topology/metric_space/baire
;hi : i ∈ S
in some bUnion
/bInter
lemmas.