Theorem StrictMono.map_isLeast

Modification history

2024-12-05 01:28

Mathlib/Order/Bounds/Image.lean

feat(Order/Bounds/Basic): Add basic order lemmas (#17595) …

Added StrictMono.map_isLeast View on Github →