Closed rwbarton closed 10 months ago
From https://github.com/CMU-HoTT/serre-finiteness/blob/cellular/Cellular/Connectivity.agda
From https://github.com/CMU-HoTT/serre-finiteness/blob/cellular/Cellular/Connectivity.agda