Theorem OrderIso.lift_cof_congr

Modification history

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 →