Def partialSups

Modification history