Manuscript XV-F-patch@1 · XV-F-patch.tex · section · 6d6ef16d
Descent: the global criterion and the local information
Patch J: the target, blocks, stress, and map clauses › Descent: the global criterion and the local information · lines 1819–1823
{Source proposition, transcribed.
XIV-J.tex; prop:descent, eq:descent; reported lines 813–846.}