Edge‐Disjoint Spanning Trees, Eigenvalues, and Size of Graphs | Synapse