Author: Dmitri Pavlov Format: MarkdownItexDeleted a space from the name for consistency.
<a href="https://ncatlab.org/nlab/revision/diff/%28infinity%2C1%29Prof/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/%28infinity%2C1%29Prof/4">v4</a>, <a href="https://ncatlab.org/nlab/show/%28infinity%2C1%29Prof">current</a>