Theorem OrderIso.upperBounds_image

Modification history

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