Theorem Function.Involutive.iterate_odd

Modification history