Theorem List.drop_take_append_drop'

Modification history