nLab
finite type

Last revised on July 9, 2021 at 03:27:01. See the history of this page for a list of all contributions to it.