2 ms·
>they are definitely not the same function This depends on what equivalence you're using, and the only one in which it's true (definitional equality) isn't ver
by sjolsen 11y ago
>they are definitely not the same function
This depends on what equivalence you're using, and the only one in which it's true (definitional equality) isn't very interesting. Extensionally, the functions are identical.
- bweitzman 11y agoIgnoring, bottom, the functions arguably have no extensionality, and therefore are only vacuously equivalent in that sense.