Theorem List.getD_eq_getD_getElem?

Modification history