Author: DavidRoberts Format: MarkdownItexAdded statement and reference to the original paper
<a href="https://ncatlab.org/nlab/revision/diff/Taimanov+theorem/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Taimanov+theorem/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Taimanov+theorem">current</a>
Added statement and reference to the original paper