Theorem List.getLast_replicate_succ

Modification history