Theorem LieAlgebra.center_eq_bot

Modification history