Author: varkor Format: MarkdownItexPresumably this should be merged with [[Erik van Erp]]?
<a href="https://ncatlab.org/nlab/revision/diff/Erik+Van+Erp/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Erik+Van+Erp/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Erik+Van+Erp">current</a>
Presumably this should be merged with Erik van Erp?
Author: Urs Format: MarkdownItexThanks for the alert. I have cleared the entry and re-directed accordingly.
<a href="https://ncatlab.org/nlab/revision/diff/Erik+Van+Erp+%3E+history/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Erik+Van+Erp+%3E+history/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Erik+Van+Erp+%3E+history">current</a>
Thanks for the alert. I have cleared the entry and re-directed accordingly.