Theorem List.getD_min?_eq_untopD_minimum

Modification history