Theorem List.flatten_drop_length_sub_one

Modification history