Theorem List.getD_default_eq_getI

Modification history