Def SSet.Truncated.StrictSegal.spineEquiv

Modification history