Def Ordinal.liftPrincipalSeg

Modification history