Theorem iterate_con

Modification history