Theorem StrictMono.mem_lowerBounds_image

Modification history

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