The fundamental group in discrete homotopy theory. - Krzysztof Kapulkin; Udit Mavinkurve (Adv. Appl. Math., 2025)