Def SSet.StrictSegal.spineToDiagonal

Modification history