Theorem List.take_succ

Modification history