f:A→B is a map, a→f(a) is a value of the map.
If you want to be careful,
Author: Christian Cunningham
Created: 2024-05-30 Thu 21:14
Validate