2 ms·
Ignoring, bottom, the functions arguably have no extensionality, and therefore are only vacuously equivalent in that sense.
by bweitzman 11y ago
Ignoring, bottom, the functions arguably have no extensionality, and therefore are only vacuously equivalent in that sense.