Theorem List.lt_length_right_of_zipWith

Modification history