Theorem LieDerivation.coe_ad_apply_eq_ad_apply

Modification history