Non-Hausdorff manifold (source code)

= Non-Hausdorff manifold
{wiki=Non-Hausdorff_manifold}