Theorem LieDerivation.exp_apply

Modification history