Miscellany

The 2 chapters of the Stacks Project's part Miscellany with a tag that a declaration carries, a page each, numbered as the Stacks Project numbers them.

The docstrings and Lean statements are quoted from AxiomMath/Stacks at commit 5ed82d14, under its Apache-2.0 license.

• 110 Examples
• 111 Exercises

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.