Theorem List.lt_length_left_of_zip

Modification history