Metamath Proof Explorer

Table of Contents - 2.4.11. Function transposition

  1. ctpos
  2. df-tpos
  3. tposss
  4. tposeq
  5. tposeqd
  6. tposssxp
  7. reltpos
  8. brtpos2
  9. brtpos0
  10. reldmtpos
  11. brtpos
  12. ottpos
  13. relbrtpos
  14. dmtpos
  15. rntpos
  16. tposexg
  17. ovtpos
  18. tposfun
  19. dftpos2
  20. dftpos3
  21. dftpos4
  22. tpostpos
  23. tpostpos2
  24. tposfn2
  25. tposfo2
  26. tposf2
  27. tposf12
  28. tposf1o2
  29. tposfo
  30. tposf
  31. tposfn
  32. tpos0
  33. tposco
  34. tpossym
  35. tposeqi
  36. tposex
  37. nftpos
  38. tposoprab
  39. tposmpo
  40. tposconst