Theorem LieDerivation.ad_ker_eq_center

Modification history