Theorem List.zipWith_nil

Modification history