Theorem List.mapIdxM_eq_mmap_enum

Modification history