Documentation

Mathlib.Topology.Compactness.Exterior