Ant Man and his Phone Theatre

I was wondering where Ant-Man was during Infinity War, and how he got to watch it. The biggest theater is always in his pocket, when he's not the usual size of course...