Metamath Proof Explorer

Table of Contents - 21.20.5.24. Currying

Currying and uncurrying. See also df-cur and df-unc. Contrary to these, the definitions in this section are parameterized.

1. csethom
2. df-bj-sethom
3. ctophom
4. df-bj-tophom
5. cmgmhom
6. df-bj-mgmhom
7. ctopmgmhom
8. df-bj-topmgmhom
9. ccur-
10. df-bj-cur
11. cunc-
12. df-bj-unc