The master pentagon identity for Ding-Iohara-Miki algebra generators
Master pentagon identity. The generating functions satisfy
MathDB