Metamath Proof Explorer

Table of Contents - 10.2.15.1. Definition and basic properties

  1. csimpg
  2. df-simpg
  3. issimpg
  4. issimpgd
  5. simpggrp
  6. simpggrpd
  7. simpg2nsg
  8. trivnsimpgd
  9. simpgntrivd
  10. simpgnideld
  11. simpgnsgd
  12. simpgnsgeqd
  13. 2nsgsimpgd
  14. simpgnsgbid