Metamath Proof Explorer

Table of Contents - 21.20.5.23. Maps-to notation for functions with three arguments

1. bj-0nelmpt
2. bj-mptval
3. bj-dfmpoa
4. bj-mpomptALT
5. cmpt3
6. df-bj-mpt3