Def List.disjoint

Modification history