3 ms·Thankfully the core team membership predicate is decidable, at least.by slavapestov 6y agoThankfully the core team membership predicate is decidable, at least.