Theorem Ordinal.liftInitialSeg_coe

Modification history