Theorem Function.Iterate.rec_zero

Modification history