Theorem List.getElem_eq_getElem_rotate

Modification history