Metamath Proof Explorer

Table of Contents - 21.25.19. Partitions: disjoints on domain quotients

1. df-parts
2. df-part
3. df-membparts
4. df-membpart
5. dfpart2
6. dfmembpart2
7. brparts
8. brparts2
9. brpartspart
10. parteq1
11. parteq2
12. parteq12
13. parteq1i
14. parteq1d
15. partsuc2
16. partsuc