Theorem Function.Bijective.iterate

Modification history