Theorem Function.iterate_pred_comp_of_pos

Modification history