Theorem Function.Injective.iterate

Modification history