Theorem Function.iterate_injOn_Iio_minimalPeriod

Modification history