Theorem Ordinal.lift.initialSeg_coe

Modification history