Theorem List.getLast_repeat_succ

Modification history