nLab formal completion

Last revised on January 12, 2023 at 06:48:29. See the history of this page for a list of all contributions to it.