Theorem Function.Involutive.iterate_bit0

Modification history