2 ms·
What’s the point of using the short names? You could call them domain and codomain and then everyone could Google them
by heavenlyblue 7y ago
What’s the point of using the short names? You could call them domain and codomain and then everyone could Google them