Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Proposition 2.26. (closure of a finite union is the union of the closures)
In the proof , it says:
“because if every neighbourhood of a point intersects all the , then every neighbourhood intersects their union.”
maybe it should be “because if every neighbourhood of a point intersects some , then every neighbourhood intersects their union.”
Yes, thanks for catching. I have fixed it now (here).
1 to 2 of 2