Theorem mul_right_iterate_apply_one

Modification history