chore(SetTheory/Ordinal/Basic): lift.initialSeg → liftInitialSeg (#16995)
lift.initialSeg
liftInitialSeg