Theorem Function.RightInverse.iterate

Modification history