Def List.minimum

Modification history