# Commit 2022-02-09 23:10 4e8d8faa

View on Github →feat(order/hom/bounded): Bounded order homomorphisms (#11806)
Define `bounded_order_hom`

in `order.hom.bounded`

and move `top_hom`

, `bot_hom`

there.

feat(order/hom/bounded): Bounded order homomorphisms (#11806)
Define `bounded_order_hom`

in `order.hom.bounded`

and move `top_hom`

, `bot_hom`

there.