NobleBlocks
    On pentagon identity in Ding-Iohara-Miki algebra | NobleBlocks