Theorem mul_left_iterate

Modification history