Theorem GaloisConnection.map_isCofinal

Modification history

2026-03-18 12:31
Mathlib/Order/Cofinal.lean
feat: `IsCofinal s` implies `IsCofinal (f '' s)` (#36715)
Added GaloisConnection.map_isCofinalView on Github →