Theorem Ordinal.liftPrincipalSeg_top

Modification history