In the video you can clearly see Tommy Iommi but I think it was a playback performance so this could be the reason why Iommi is not listed. But that is just a guess.
On the bluray it says Tony Iomm, I was surprised they sold a bluray seperately from the box set! It has Atmos sound on it too, very rare for a rock show!