Metamath Proof Explorer


Table of Contents - 20.10.37.1. Congruence properties

  1. cofs
  2. df-ofs
  3. cgrrflx2d
  4. cgrtr4d
  5. cgrtr4and
  6. cgrrflx
  7. cgrrflxd
  8. cgrcomim
  9. cgrcom
  10. cgrcomand
  11. cgrtr
  12. cgrtrand
  13. cgrtr3
  14. cgrtr3and
  15. cgrcoml
  16. cgrcomr
  17. cgrcomlr
  18. cgrcomland
  19. cgrcomrand
  20. cgrcomlrand
  21. cgrtriv
  22. cgrid2
  23. cgrdegen
  24. brofs
  25. 5segofs
  26. ofscom
  27. cgrextend
  28. cgrextendand
  29. segconeq
  30. segconeu