Theorem mul_left_iterate_apply_one

Modification history