Def Ordinal.liftInitialSeg

Modification history