title: Does python3 asyncio use a work stealing scheduler like Rust Tokio?
body: <p>Does Python 3 asyncio use a work-stealing scheduler like Rust Tokio? What's the behavior of the default scheduler? Is it documented somewhere?</p>