Theorem List.take_append_eq_append_take

Modification history