We describe the Koszul dual of two quadratic operads on planar forests introduced to study the infinitesimal Hopf algebra of planar rooted trees and prove that these operads are Koszul.
生成讲解博客的中文版本
生成AI智能校验的中文版本