Def Cardinal.liftInitialSeg

Modification history

2024-10-11 15:01

Mathlib/SetTheory/Cardinal/Basic.lean

feat(SetTheory/Cardinal/Basic): `Cardinal.liftInitialSeg` (#16958) …

Added Cardinal.liftInitialSeg View on Github →