Theorem List.getD_max?_eq_unbotD_maximum

Modification history