5. Appendix🔗

A dictionary from the classical notions to their names in Mathlib and the library, the conventions shared by the statements, and the sources.

1. 5.1. Conventions and sources
   1. 5.1.1. Dictionary
   2. 5.1.2. Ideal sheaves and closed subschemes
   3. 5.1.3. Names
   4. 5.1.4. Sources