Def List.minimum_of_length_pos

Modification history