3 ms·
That doesn't even need Countable Choice. You only need any form of Choice when you can't explicitly specify an order, which you did.
by OscarCunningham 7y ago
That doesn't even need Countable Choice. You only need any form of Choice when you can't explicitly specify an order, which you did.