Theorem List.forall_zipWith

Modification history