Def Ordinal.lift.principalSeg

Modification history