Theorem List.getI_eq_iget_get?

Modification history