Author: nLab edit announcer Format: MarkdownItexFix naming of index variable to match index on expression inside.
Greg Langmead
<a href="https://ncatlab.org/nlab/revision/diff/completely+prime+filter/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/completely+prime+filter/3">v3</a>, <a href="https://ncatlab.org/nlab/show/completely+prime+filter">current</a>
Fix naming of index variable to match index on expression inside.