Theorem List.iterate_eq_iterateTR

Modification history