Theorem List.replicate_succ

Modification history