Metamath Proof Explorer

Table of Contents - 10.2.10.5. The sign of a permutation

  1. cpsgn
  2. cevpm
  3. df-psgn
  4. df-evpm
  5. psgnunilem1
  6. psgnunilem5
  7. psgnunilem2
  8. psgnunilem3
  9. psgnunilem4
  10. m1expaddsub
  11. psgnuni
  12. psgnfval
  13. psgnfn
  14. psgndmsubg
  15. psgneldm
  16. psgneldm2
  17. psgneldm2i
  18. psgneu
  19. psgnval
  20. psgnvali
  21. psgnvalii
  22. psgnpmtr
  23. psgn0fv0
  24. sygbasnfpfi
  25. psgnfvalfi
  26. psgnvalfi
  27. psgnran
  28. gsmtrcl
  29. psgnfitr
  30. psgnfieu
  31. pmtrsn
  32. psgnsn
  33. psgnprfval
  34. psgnprfval1
  35. psgnprfval2