3 ms·
Apologies, I meant for 0 * inf = 0. Since in n * inf n can be 0 the result should be able to be 0.
by dependenttypes 6y ago
Apologies, I meant for 0 * inf = 0. Since in n * inf n can be 0 the result should be able to be 0.
- somewhereoutth 6y agoYou are correct - it should indeed be zero (and * can be constructed accordingly)