Theorem order_iso.lower_bounds_image
Modification history
2022-11-06 23:41
src/order/bounds/basic.lean
refactor(*): supremum of several recent refactoring PRs (#17381) …
Modified order_iso.lower_bounds_imageView on Github →2022-05-04 11:10
src/order/bounds.lean
feat(order/basic): Notation for `order_dual` (#13798) …
Modified order_iso.lower_bounds_imageView on Github →