Theorem Function.Involutive.iterate_two_mul

Modification history