They certainly could be using CGNAT, but that seems like a weird way to do it.
How are you able to tell with IPv4? You cannot run ifconfig on an iPhone, so how are you determining that?
They certainly could be using CGNAT, but that seems like a weird way to do it.