Lemma of the day Posted on August 2, 2013 by Johan A flat base change of a perfect morphism is perfect. See Tag 06C0.
The dependency graph is planar!