Wallman compactification (source code)

= Wallman compactification
{wiki=Wallman_compactification}