Theorem List.zipWith_distrib_reverse

Modification history