Author: nLab edit announcer Format: MarkdownItexstarting article on the type of finite types
Anonymouse
<a href="https://ncatlab.org/nlab/revision/type+of+finite+types/1">v1</a>, <a href="https://ncatlab.org/nlab/show/type+of+finite+types">current</a>