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