Wasn't the 11 pro the size of the mini / SE? I don't remember whether there was an 11 mini, but it seems to me that 11 pro / SE were exactly that, and the current minis / se are the size of the 7/8/se/11 pro.
I the time I couldn't justify buying a new phone, but I remember late last year, when I figured I could start looking, I was possibly contemplating getting the 13 pro, for the camera. But when I saw how huge it was, I immediately abandoned the idea.
The iphone 12 mini and 13 mini are both smaller than the 2nd/3rd gen SE but larger than the 1st gen SE.
The 2nd/3rd gen SE is the same size as the iphone 8.