This section contains a few proofs of theorems found in the pi-base database. The pi-base site can be found at https://topology.pi-base.org.
Definitions of topological properties are theorems labeled pibpN, where N is the property number in pi-base. For example, pibp19 defines countably compact topologies. Proofs of theorems are similarly labeled pibtN, for example pibt2.