Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monotone.le_cSup_image

Modification history

2020-09-09 13:02
src/order/conditionally_complete_lattice.lean
feat(order/conditionally_complete_lattice, topology/algebra/ordered): inherited order properties for `ord_connected` subset (#3991) …
Added monotone.le_cSup_imageView on Github →