Theorem Function.LeftInverse.iterate

Modification history