Theorem List.nil_zipWith

Modification history