Theorem List.getD_eq_get

Modification history