Theorem List.pmap_next_eq_rotate_one

Modification history