Def Ordinal.lift.initialSeg

Modification history