Theorem IsCofinal.image

Modification history

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