Metamath Proof Explorer

Table of Contents - 21.38.8.1. Simplicial Sets

See https://kerodon.net/tag/0004 for introduction to the topological simplex of dimension .

1. k0004lem1
2. k0004lem2
3. k0004lem3
4. k0004val
5. k0004ss1
6. k0004ss2
7. k0004ss3
8. k0004val0