Theorem OrderIso.isLUB_preimage

Modification history

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