Theorem StrictMono.mem_upperBounds_image

Modification history

2024-12-05 01:28
Mathlib/Order/Bounds/Image.lean
feat(Order/Bounds/Basic): Add basic order lemmas (#17595) …
Added StrictMono.mem_upperBounds_imageView on Github →