Def SSet.StrictSegal.truncation

Modification history