Theorem Function.Involutive.iterate_bit1

Modification history