Theorem mul_right_iterate

Modification history