Author: Mike Shulman Format: MarkdownItexCreated page to record statements and the relation between them.
<a href="https://ncatlab.org/nlab/revision/axiom+of+well-founded+materialization/1">v1</a>, <a href="https://ncatlab.org/nlab/show/axiom+of+well-founded+materialization">current</a>
Created page to record statements and the relation between them.
Author: Mike Shulman Format: MarkdownItexSomehow I gave this page the wrong name
<a href="https://ncatlab.org/nlab/revision/axiom+of+materialization/1">v1</a>, <a href="https://ncatlab.org/nlab/show/axiom+of+materialization">current</a>