Metamath Proof Explorer

Table of Contents - 21.12.10. Properties of functions and mappings

1. funpsstri
2. fundmpss
3. funsseq
4. fununiq
5. funbreq
6. br1steq
7. br2ndeq
8. dfdm5
9. dfrn5
10. opelco3
11. elima4
12. fv1stcnv
13. fv2ndcnv