Theorem List.take_one_drop_eq_of_lt_length

Modification history