리 대수
formula_15의 리 대수