Theorem List.zipWith_comm_of_comm

Modification history