Author: Urs Format: MarkdownItexStarting something, but it remains a stub entry for the moment
<a href="https://ncatlab.org/nlab/revision/completion+of+a+group/1">v1</a>, <a href="https://ncatlab.org/nlab/show/completion+of+a+group">current</a>
Starting something, but it remains a stub entry for the moment