Theorem List.getD_eq_getD_get?

Modification history