Classification of Compact Surfaces

Source: url:https://github.com/mccorvie/classification-of-surfaces/tree/master/ClassificationOfSurfaces Authors: Ryan McCorvie, Jack McCarthy, SF Lean Meetup contributors Status: verified Main declarations: LeanEval.Topology.ClassificationOfSurfaces.classification_of_surfaces Tags: geometric-topology, low-dimensional-topology, surfaces, manifolds, triangulation MSC: 57K20, 57N05