Base change for coherent cohomology in Berkovich geometry

We prove some base change theorems for coherent cohomology in the setting of Berkovich spaces. In this setting, we get a flat base change theorem, and some proper base change theorems that are analogue to theorems from scheme theory.