Theorem LieDerivation.iterate_apply_lie'

Modification history