The classification of compact 1-manifolds

Source: url:https://github.com/sweeneyde/1mfld Authors: Jim Fowler, Dennis Sweeney Status: verified Main declarations: OneMfld.homeomorph_circle_or_unitInterval Tags: topology MSC: 57N99, 54F65, 68V20