The Stacks project

23 Divided Power Algebra