Divided powers

Summary