Theorem List.take_append

Modification history