Theorem List.takeWhile_append_drop

Modification history