Metamath Proof Explorer

Table of Contents - 7.1.1.2. Substitution of components

  1. csts
  2. df-sets
  3. reldmsets
  4. setsvalg
  5. setsval
  6. fvsetsid
  7. fsets
  8. setsdm
  9. setsfun
  10. setsfun0
  11. setsn0fun
  12. setsstruct2
  13. setsexstruct2
  14. setsstruct
  15. wunsets
  16. setsres
  17. setsabs
  18. setscom