Model Theory PRs

Stream: mathlib4

[Aaron Anderson]

There are several PRs about model theory that are either marked please-adopt or have been left on awaiting-author for several months. I am going through and doing what I can to get these reviewable again - and will post here when I do so, to call these back to reviewer attention.

[Aaron Anderson]

Firstly, #11175 is the first in a string of 3 PRs proving a result I'd really like to see included. It was hung up on a merge problem for months, but it should be good-to-go now.

[Yaël Dillies]

I was going to say you should ask for my reviews, but I see I was duly sniped :smile: