Def SSet.Augmented.StandardSimplex.shiftFun

Modification history