Local cohomology modules of a smooth (mathbb{Z})-algebra have finitely many associated primes

Tools