A phase field electro-chemo-mechanical formulation for predicting void evolution at the Li–electrolyte interface in all-solid-state batteries | Synapse