This represents something of a compromise position: the DOJ had initially signalled that it would also demand a selloff of Android, and that's been dropped. I think there's a good case for forcing the sale of Android as a source of data, too.
In competition theory, these selloffs are referred to as "structural separation" - when a company that provides infrastructure to other firms is prohibited from competing with those firms:
https://locusmag.com/2022/03/cory-doctorow-vertically-challenged/
9/