Theorem Fin.repeat_apply

Modification history