We define and study a lift of the Boardman-Vogt tensor product of operads to bimodules over operads.
生成讲解博客的中文版本
生成AI智能校验的中文版本