Theorem OrderIso.isLUB_image'

Modification history

2022-12-16 03:25
Mathlib/Order/Bounds/OrderIso.lean
feat: port Order.Bounds.OrderIso (#1063) …
Added OrderIso.isLUB_image'View on Github →