I disagree with the10mm having distortion.
When the camera is panning left and right, notice the framing of the display booth.
the vertical and the top horizontal beams are perfectly straight!!
This is the section of the clip of the man with the green jacket. pause the clip to notice the straight lines. The auditorium ceiling has a dome roof..Its constructed as a dome.
Canon 11mm is horrible in this regard.
There is zero distortion