Theorem StrictMono.map_isGreatest

Modification history

2026-09-07 15:38
Mathlib/Order/Bounds/Image.lean
chore(Order): use `to_dual` in various places (#43323) …
Deleted StrictMono.map_isGreatestView on Github →
2024-12-05 01:28
Mathlib/Order/Bounds/Image.lean
feat(Order/Bounds/Basic): Add basic order lemmas (#17595) …
Added StrictMono.map_isGreatestView on Github →