operator product expansion
expansion of the product of two local operators inserted close to each other as an asymptotic series with local-operator coefficients
expansion of the product of two local operators inserted close to each other as an asymptotic series with local-operator coefficients