paperExchange graphs of cluster algebras have the non-leaving-face propertyarXiv:2207.05555 · doi:10.1112/blms.12836AbstractThe claim in the title is proved.Cited by in corpus (1)Relative left Bongartz completions and their compatibility with mutations