Theorem Function.Involutive.iterate_even

Modification history