Zassenhaus公式的一种特殊形式
发布人