https://123dok.net/document/yng7v2lp-tensor-products-of-categories-of-equivariant-perverse-sheaves.html