Table of external and internal notions (needs polishing)
typo
Finished proof that K_X is the negneg-sheafification of O_X (on reduced schemes)
K_X is i_* i^(-1) O_X, where i : X_negneg --> X ("a fun fact about the smallest dense sublocale")
Geometric interpretation of K_X (general case without Noetherian hypotheses)
A useful reformulation of the spreading property
to do
typo