Fundamental groups of finite connected graphs

Source: url:https://pi.math.cornell.edu/~hatcher/AT/AT.pdf Authors: Arthur Freitas Ramos, David Hulak, Ruy de Queiroz Status: verified Main declarations: FiniteGraphFreeGroup.graphTopologicalFundamentalGroupEquiv Tags: algebraic-topology, graph-theory, fundamental-groups, free-groups, covering-spaces MSC: 05C25, 55Q05, 20F65