Theorem List.get_iterate

Modification history