Theorem LieAlgebra.ad_eq_lmul_left_sub_lmul_right

Modification history