Theorem GaloisConnection.isCofinal_range

Modification history

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