Theorem List.foldlIdxM_eq_foldlM_enum

Modification history