Def SSet.truncationCompTrunc

Modification history