Theorem List.iterateTR_loop_eq

Modification history