Theorem Function.Involutive.iterate_eq_self

Modification history