Theorem OrderIso.map_isCofinal_iff

Modification history

2026-03-25 04:37
Mathlib/Order/Cofinal.lean
feat(SetTheory/Ordinal): fundamental sequences (#37019) …
Added OrderIso.map_isCofinal_iffView on Github →