In this paper, we described the GAP implementation of crossed modules of commutative algebras and cat11-algebras and their equivalence.
生成讲解博客的中文版本
生成AI智能校验的中文版本