Metamath Proof Explorer

Table of Contents - 21.50.15.3. Induced subgraphs

1. cisubgr
2. df-isubgr
3. isisubgr
4. isubgriedg
5. isubgrvtxuhgr
6. isubgredgss
7. isubgredg
8. isubgrvtx
9. isubgruhgr
10. isubgrsubgr
11. isubgrupgr
12. isubgrumgr
13. isubgrusgr
14. isubgr0uhgr