Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Relations and Functions
The mapping operation
Next ⟩
Support of a function
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 21.4.4.4. The mapping operation