Go back to the tag's page.
Should D^+ and not D^- Tsk, tsk Thanks to anonymous http://stacks.math.columbia.edu/tag/0BK7#comment-2464
Tags: Added new tags
K = Rlim truncations iff I = lim I_n