Notes on the lens integral pentagon identity

We obtain the lens integral pentagon identity for three-dimensional mirror dual theories in terms of hyperbolic hypergeometric functions via reduction of equality for $\mathcal{N}=2$ lens supersymmetric partition functions of a certain supersymmetric IR duality.