Metamath Proof Explorer


Table of Contents - 20.33.5.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