Beta Phase: Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45

Baire category theorem

A powerful theorem about complete metric spaces (and locally compact Hausdorff spaces).
📜

The statement of the theorem

In a complete metric space, the intersection of countably many dense open sets is dense.
Source: Wikipedia