Theorem LieDerivation.exp_map_apply

Modification history