Local cohomology modules of a smooth Z-algebra have finitely many associated primes

Tools