Theorem List.foldrM_eq_foldr

Modification history