Theorem Function.Semiconj.iterate_right

Modification history