Exhaustion by compact sets (source code)

= Exhaustion by compact sets
{wiki=Exhaustion_by_compact_sets}