Yep. And these rollouts are no different than they are under Windows. Cohorts are formed (and how is only known to the device manufacturer and/or carrier - depending on who forms 'em), the update is pushed out then monitored by telemetry, lather, rinse, repeat, with subsequent cohorts always becoming of increasing size if no issues are detected that warrant a "halt, fix, and start again" process.
I have 3 different Xiaomi phones in my house, two of which started out on MIUI 10 and have over time been upgraded to MIUI 13, and another that started with MIUI 13 that's now MIUI 14. The two that still remain on MIUI 13 are "lower on the model totem pole" than the one already upgraded, and are slated for upgrade later in the year. Even when this has happened in the past, there have been days to weeks that have passed between when the first one (they're both the same model) gets the update pushed and when the second one does. They've never been in a cohort on the same push day.