Edge-connectivity of graphs with non-negative Bakry-Émery curvature and amply regular graphs | Synapse