bounded): an order_iso maps top to top and bot to bot (#12862)

Commit

3 years ago

feat(order/hom/bounded): an order_iso maps top to top and bot to bot (#12862) Co-authored-by: YaelDillies <yael.dillies@gmail.com>

Author

Paul-Lez

Parents