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_preimage'View on Github →