2 ms·
There are two that I can think of: this, and the fact that there's no equality class yet. In practice it just doesn't come up.
by 1-more 5y ago
There are two that I can think of: this, and the fact that there's no equality class yet. In practice it just doesn't come up.