Theorem OrderIso.lift_cof_congr

Modification history

2026-05-10 00:45
Mathlib/SetTheory/Cardinal/Cofinality/Basic.lean
chore: split `SetTheory.Cardinal.Cofinality` (#38363) …
Modified OrderIso.lift_cof_congrView on Github →
2026-03-21 21:50
Mathlib/SetTheory/Cardinal/Cofinality.lean
chore: `OrderIso.cof_eq` → `OrderIso.cof_congr` (#36898) …
Added OrderIso.lift_cof_congrView on Github →